The saddest thing is that work on the comment deletion race condition situation is all lost; the whole thread will likely repeat itself at some later date.

And 'lost' is a particularly good description here. Because the analysis is still there on user pages but it is now impossible to link to said comments directly.

I hope the ban on the post can be reversed. This intervention was annoyingly destructive (at the 'nuisance' level).