merge man.php into commands/help.php