More time is required to type the word woke than is spent thinking about what it means by people who use it as a pejorative