Yeah, she was one of my favorite accounts here.
If it was from just 1 account, I’m surprised that muting was not enough. But my guess is it was from multiple users? And not having a “Report User” function can be off putting, coming from traditional social media.