Comment by dependenttypes

There is a non-zero possibility that a rogue employee did this. He does not sign his web stuff with his GPG key after all.

Also, it is there twice https://stallman.org/archives/2019-jul-oct.html#27_September...