Vdom_keyboard.Help_textSourceA Help_text.t represents the documentation for a collection of commands. It can be displayed as a Vdom node.
This can be used to create a web ui help menu.
view displays a help text table with one row per command.
view_rows is similar to view, but returns a list of row nodes instead of wrapping them in a table node.