DEPRECATION WARNING

This documentation is not using the current rendering mechanism and will be deleted by December 31st, 2020. The extension maintainer should switch to the new system. Details on how to use the rendering mechanism can be found here.

Known ProblemsΒΆ

Right now, a concurrent different login system might allow the DocCheck Dummy user to log in. Although this will hopefully be fixed within the next two or three releases, please choose a very complicated password for the dummy user.

You are always invited to report all kinds of bugs, request features or contribute on our GitHub repository..