nah don't worry about it, no big deal and the troll's banned!
posted in the closed OI thread after you as well as I was writing a response while you were taking the action. Apologies and just fire me a message if you want said post removed.