openpgp2ssh can now accept arbitrary-length key IDs (from the trivial