[patent]

He retires shortly. It no longer makes much of a difference if he is removed.

patent

[american colleen]

You are right, he does retire soon, but it makes a big difference for morale/moral reasons if he is removed or at least put on administrative leave, IMO.

[B Knotts]

Well, it makes no practical difference, but it sure would help to send a message, no?

[Steve0113]

He retires shortly.

Yep. He recently attained mandatory-retirement age. He will not be missed, except by fellow heretics.