Clean up phil

Daniel Kahn Gillmorrequested to merge
dkg/rfc4880bis:clean-up-phil into main

This uses a special case to fix a silly rendering goof in Phil's name. Thanks to Ángel for noticing.

Merge request reports