Calling this a 'lynching' is remarkably offensive and tone deaf. People focus on the latest remarks RMS made and pretend that was his only offense, while ignoring the years of egregious behavior and anecdotes others have brought up about him.