go to bug id or search bugs for
Please restore the manual main page to its usual usefullness! Removing that main index / overview was not a good idea.
Add a Patch
Add a Pull Request
This bug has been fixed in the documentation's XML sources. Since the
online and downloadable versions of the documentation need some time
to get updated, we would like to ask you to be a bit patient.
Thank you for the report, and for helping us make our documentation better.