You can decide this is punishment and it might feel that way to RMS, but I think we can all agree sexism is a bad trait to have in the most senior leadership position of an organization founded around principles of liberty in expression and action. RMS was bad for that cause, and he couldn't keep his position on pure tenure and prestige anymore.