Improving check_gpg_fingerprints_on_my_homepage.