I remember having a PGP key in the late 1990's, but lost track of
those files many years ago. So I've created this nice shiny new
(but minimal) PGP key, and add it to the appropriate places.