bugs.gnupg.org: Add used HTML files