KreMLin user manual: "Indices and tables" links in the ToC blank or broken #2
Description
On this page: https://fstarlang.github.io/lowstar/html/
The "Index" and "Search Page" links lead to basically blank pages, and the "Module Index" link gives a 404. The search box on the left does work, though.