- Committed part 3 of Michael's help system improvements: removed the $help parameter from the menu() function.