Was never a Greg Millen fan, but its sad to see him die at such a young age. (I just turned 70 a couple of months ago). Hard to believe I signed up for these forums when I was 46 back in 2001.
I feel like he didn't notice him until the last second, may have thought it was another player (or just reacted without thinking when he suddenly realized he was about to run into someone right in front of him) ... So I doubt it was intentional but obviously you still can't do that. Hope the dude is okay.