Still…

The adult thing (hard but responsible) to do, is to create a ticket, then allocate time for feelings of the manager.

(including cost-benefit ratio comparison between “this dealing with the manager” vs “fixed thing” might be tempting)