They were there——mentioned in a WaPo article-——got there promptly-—this article didn’t bother mentioning that.
.
But they didn’t do anything? It’s okay to harass people?