This. OP’s colleague has a family and a life outside work, while OP is all in as an employee? It is not to OP to resent anyone at work, just resign if you canno

This. OP’s colleague has a family and a life outside work, while OP is all in as an employee? It is not to OP to resent anyone at work, just resign if you cannot cope (and thank again your colleague for the initial lead before closing the door).