The commenter in question is @iwavrQwpX4uB39nilBlQ, feel free to give them a virtual clip round the ear from me if you see them elsewhere. I do not condone harassment, but that was not cool.