Awesome

mirador-jump-to-page

A Mirador plugin to add a text-based dropdown to the window title bar, for quickly selecting pages by their labels rather than their visual appearance.