3 ms·

Thanks for raising that point. I'm only now realizing that the term "woke" means different things to different people. I'm grateful for your correction.