Yes, IIRC the Medium post that made the situation go viral beyond MIT was written by a student that just compiled other peoples' stories about Stallman, not based on any of her own experiences. Personally I can't imagine initiating calls for someone's head without first hand knowledge, but I don't think she had any hidden incentive to make the post. My guess is she had her own negative experiences with someone else in the past and thought she was doing the right thing by speaking out for others here. I recall the post reading as very emotional, like a rant you might send to a private group chat of friends. So definitely not manufactured.