Are Disciplinary Proceedings Rendered Moot When a Judicial Branch Official Leaves Office? March 19, 2026