Package: grub-pc Version: 2.02~beta2-22 I was recently trying to fix a booting problem at the grub command-line. I'm not very familiar with grub so I tried to use the built in help command. However, I found that in the default configuration, grub's help command is not very useful: The help output is frequently longer than one screen-full, it whizzes past far too quickly to read, and you can't scroll back up. It turns out there is a pager option, but this is turned off by default: https://www.gnu.org/software/grub/manual/html_node/pager.html#pager I think the pager feature should be on by default. Without it, the built-in help is pretty much unusable, and the user has to refer to the external manual to find out how to make it usable (how is s/he to know about the pager setting?), which renders the whole idea of a built-in help system rather pointless.