docs: def print_help(filename, table, dest=sys.stdout):
      """
      Print help to the given destination file object.
      """
      cmds = '|'.join(sorted(table.keys()))
      print >> dest, "Syntax: %s %s [args]" % (path.basename(filename), cmds)