New name as I don't want this linked to my other posts.
I absolutely adore my job and can sometimes get a bit obsessive about new projects. Last week, I was up cycling in the wee hours of the morning, had a sudden idea, and sent an email to a colleague of mine (work email address) regarding this. He almost immediately sent a message to my personal phone number saying, 'Wow you're up early', followed by one saying, 'I don't know why women like you bother working, you could probably sell nudes online and make a fortune'. I ignored him. We had a teams meeting a few hours later and I largely ignored him too. He then sent a message saying, 'Come on, it's just a joke'!
Would I be overreacting if I reported this to HR? Or should I just take it as a 'joke' and move on? We're about the same age (20s but I'm not sure if that matters) in the same role.