i did encounter that while searching. it’s good that people were not hurt, but it’s so weird to see both sides be so fervent on this issue. rms is a strange man, no doubt about it, and only he can vouch for his reasons, but the consequences of his actions are visible to everyone.