Am I holding an unhealthy grudge?

https://linux.community/post/4403081

Holding a grudge means this person lives rent free in your head. It’s a waste of energy. If you have to work with this person, fine. Be professional, nothing more.

Live your life and don’t think about this person.