This minor mode gives keybindings for navigating from page to page while
narrowed. It is intended to be used in live-codeing or research talks
that focus on Emacs-based proof assistants.
Repository: https://github.com/david-christiansen/narrowed-page-navigation
I am the package author.
