Help commands are added at the top, irrelevant ones at the bottom.
This also removes the footnotes, by moving the note inline (rationale:
in the longer list they would fall in the next page).

Signed-off-by: Alessandro Rubini <rubini@gnudd.com>