-
Alessandro Rubini authored
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>
06c7a13b