Is there a way to customize the names in the left nav menu on an mkdocs page? There are some that I’d like to display differently within that navigation. Those names come from each document’s first H1, but that sometimes creates some redundant things: