* bin/ssh-import-id, ssh-import-id.1:
  - rename the --revoke option to --remove
  - we're not really "revoking" keys, but rather just removing them
    from the authorized_keys file
releasing 3.12
opening 3.13