PGP HTML documentation files start with the following 3 lines.