I appreciate the link. I don’t see any political words in the “slur filter”, just, you know, slurs. Which, as far as it goes, I’m fine with that being baked in (language does change over time, but I guess that’s what PRs are for).
Did it used to say “tankies” in it or something like that?