PGP: Elm patch question