I have to say I have found a lot of the comments on this very depressing.
I wholeheartedly agree the man was an idiot, and deserved everything he got. However am not a psychiatrist. It seems to me that screaming “ban him for life” when all we know about him are his actions for a few minutes is very harsh.
I hope he eventually gets rehabilitated and I hope he gets the right treatment to solve his problem. He has another fifty or so years left, do you want him to “burn in hell” for all of them.
I also hope the people he frightened recover too.