Does the PGP public key at https://www.washingtonpost.com/anonymous-news-tips/

[Michael Richardson]

Francesco Ariis <fa-ml at ariis.it> wrote:
    > Hello Jay,

    > Il 05 agosto 2022 alle 17:28 Jay Sulzberger via Gnupg-users ha scritto:
    >> Does the PGP public key at
    >> https://www.washingtonpost.com/anonymous-news-tips/ work?

    > It gets copied in a weird way (i.e. some characters that should be
    > newlines are instead spaces); I am not able to import it.

Yeah, the marketing department screwed it up, and should have put <pre> on it.
It suggests that it has never really been used.