I can’t be bothered engaging with people who use “woke” as a pejorative, or similar Trumpist rhetoric. I’ve therefore banned a couple of commentators (Jack Strocchi and Svante) who persisted in using it, despite warnings. There are plenty of other places where they can bloviate if they choose. Anyone offended by my decision on this is welcome to a full refund on the way out.