# Documentation is available online at https://www.gnupg.org/documentation/manuals/gnupg/GPG-Configuration-Options.html#gpg_002doption-_002d_002doptions
# Make sure to use my new PGP key instead of the old one.
# TODO: Schedule key expiration for the old one soonish.