This message was deleted.

Yeah, I see the concern but I don’t know if there’s much we can do about it 😕

It's the first result on Google, unfortunately, and still getting some hits. I closed the issue, since it appears that nothing (besides some SEO magic) can be done about it. Thanks.

Can't hurt to try

Hah, that's their first PR!