> “Woke”: an extreme form of contradictory progressivism popularized in the 2010s, which favors censorship and ostracization over intellectual engagement.

Yes, its used by the Right interchangeably with “cancel culture” as an abusive epithet with exactly the sense that the same faction used “political correctness” to communicate right up until they swapped in the new terms, except that the idea that the behavior attributed (falsely) as especially prevalent on the left was was novel in the 1980s in the general use of “political correctness” was updated to target the 2010s in the newer terms.