I was very alarmed at reading that report, being a University instructor also. I think it should be read by all of us as a reminder to be vigilant of the safety practices in our respective dojos.
I have a question though. What are those particular neck exercises referred to in the report? I would like to include them in our class warm ups also.