Feature request: document names rearrange in Doc Switcher

Internal error.

Oops! Looks like something went wrong!