I am commenting here using my own opinions but as someone who is a mod here and in the discord i should clarify i am biased, still take this as my words and not as the mod team.

I don't think she has to leave, while the whole situation sucks i think having her leave would set a very bad precedent and view of the mod team (this post being an example of said view).

I understand this situation brings concern and worry about the mod team on the discord but from my point of view we are all trying our best to make it a good community space.