Oh well, it was just his time. Tragic, but loads of people die every day.
My condolences to his friends and family.
And do you mind unbanning me from IRC please? I was going to take the mic out of that troller but I quit before I thought you would ban me. Sorry about that, I was feeling insane.