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. Each row shows a list of keys and a description. Multiple commands with the same description may be combined into one row.
view_rows is similar to view, but returns a list of row nodes instead of wrapping them in a table node.