Below is a lightly edited answer I wrote on the Stack Exchange moderator private Q&A on January 17 2019. The next day I added the section that begins "It's been pointed out to me..." to clarify. I deleted the answer on October 7 2019 because it seemed more likely to add confusion to ongoing events. I'm sharing this answer because it adds some context to the history of events on St…