I'm acutely aware that I'm effectively posting on your territory, but the term "lynch mob" seems to be almost comically inappropriate as a description of what actually occurred.