Post #3733823

@ilia@phpc.social @jimw@mefi.social However, the substantive is merely "stop linking to something we don't use". It literally points to a PR that does that. It's also reversible. And the "political stuff" was added after people where whining that it had to be. In any case, continuing to link to it isn't beneficial, as there won't be any new posts.