at the risk of speaking out of turn-- I'm sure everyone appreciates you and your years of contributions, @Stefan_Salewski, but you're going to have to forgive Miran at some point. holding a grudge is more toxic to you than to the other party.
When someone is dismissive or blunt, it can be hard not to take it personally, but it's either them being childish--in which case shame on them, why care?; or behind it there's respect--they are engaging with you as a peer who doesn't need to be coddled.
