online doc currency?

[Felix Miata]

https://www.gnu.org/software/grub/manual/grub/html_node/Command_002dline-and-menu-entry-commands.html
shows only a small fraction of what I see at a grub> prompt, where there are 19
items starting with the string "net_" alone. Is there a more up-to-date list
online somewhere else?

The reason I ask, is because at a grub> prompt, only a small fraction of
commands listed by the help command can be seen, starting with net_add_route and
ending with zfskey. Is there a way at a grub> prompt to get at the rest of the
help listing?