Florian Dold writes:
> Other links are broken as well.
Thanks for the report. This should be fixed, but I had to change the
directory structure, so all links are changed now.
The user documentation linked at
contains a link to the user manual
which is broken, and should actually be
Other links are broken as well.
Someone please fix this, as it is quite off-putting to new users to
find the links to the user documentation broken.