As I said before it wasn't a choke
You also said "I'm not saying he's (the instructor)innocent as I have no idea," and "we don't have all the details of what happened."
Suffice it to say, I'm using the term "choke" in a generic shorthand sense, to mean any technique that serves to occlude the carotid artery, which I suspect would be the typical cause of such as stroke.
I believe that, by definition, pedantic means being overly concerned with formality or accuracy to the point of missing the relevance of the actual point being made, to wit, that there needs to be more education about the possible risks of carotid occlusion, hemodynamic strokes as a result, and more.