The Anki Manual is great. You can even print it as a PDF from the print icon in the corner. Which is useful to have on a tablet.
However, when doing this, the PDF file doesn’t have a table of contents at all. Whether in a page, or the PDF metadata itself. So the PDF version of the manual is half as useful. You can read it one page at a time, but it’s difficult to navigate. Adding the table of contents as one of the pages would solve this problem.
Could you please add the table of contents to the Anki Manual, for when printing as a PDF?
With respect, here are two advantages of the online manual.
Advantage #1: Open multiple pages simultaneously
I never use left-click in a browser - only right-click. So, right-clicking on any link in the Anki manual allows me to have several interrelated pages open simultaneously for a single task. I can jump back and forward from one page to the other.
Advantage #2: blindingly fast search
The online search presents 30 hits. The search is so fast that the results appear before I actually type anything. Partial searches are supported. For example: “man fil” finds “managing files”, “filtered manually”, and so on. The PDF search takes hours to jump from one candidate to another. Exact spelling is essential.
The print functionality is provided by mdBook, which in turn relies on the native browser print functionality. Unfortunately, printing has more limitations like relative links in pages pointing to the original web links of the manual, so if you click on some relative link in a page, it will open a web page to the online version instead of scrolling to the target section in the PDF.
It’s because these parts are statically generated and part of the online version, while a TOC listing the pages doesn’t exist there (there is a sidebar instead), so the simple browser print function doesn’t work here since it just converts the HTML to PDF without the ability of much customization. A solution for this would be to bypass the browser print function and instead implement a custom one.