scrape-usenet-googlegroups: add a fake mbox header
authorized_keys.py: export unparsed prefix as PublicKey.prefix