Is “woke” a useful word or a lazy insult?