py-rich-argparse is a stub port
