Fair enough then, and good to hear that's the case. Sometimes people grow up, genuinely, and become better people, and sometimes they "grow up" and just become pretentious. Some harassment is real harassment, caused by people being shitty, and some is just people reacting in a reasonable way to people being shitty. I obviously have no point point of reference here, and it's ancient history by now, but I'll take your word that it this was a case of genuine bad behavior being regretted later.
