Re: It's a pity that this wasn't publicised at the time
I think I would have just said "Well you know what happens next ...." or something like that.
Don't think I would have reported it or anything.
(Now probably the way things work is I would get fired for sexual harassment due to the comment. So I don't think I would which is stupid but true)