toc titles inconsistent about z3guide HOT 5 CLOSED

So I did some experiments: adding numeric prefixes to directory names only affects the order of the content, not their names on the page. I believe docusaurus did some post-processing to remove the numerals from the content eventually rendered. So I believe it is safe to go ahead with adding numeric prefixes such as 01 - Fixedpoints.

from z3guide.

Somehow the order of these items is random and not following the order in the navbar meta-data.

from z3guide.

It must be related to how to lay out the side bar: https://docusaurus.io/docs/sidebar

from z3guide.

Somehow the order of these items is random and not following the order in the navbar meta-data.

You would need to prefix the directories of these titles (showing up in the nav bar) with numbers to specify their order. E.g., 01 - Intro shows up before 03 - Advanced Topics.

from z3guide.

AFAIK, it uses the directory name for the side-bar, so then '01 - Intro' would show up, not "Introduction".
OTOH, if the directory only has a single file, it uses the title from the file.. For example, Playground

from z3guide.