OK, I found: There is plenty of room to add a whole line or two at the bottom of the "c" greeter screen before one gets the grub> prompt. Please mention pager=1 there.
Glad TAB output is paged too! By the way the greeter screen only appears upon the first time one uses "c". Bad. c, ESC, c again will not give one the greeter screen. As a bonus, "?" or "h" at the --More-- prompt might say what keys do what. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org