#49 Institutinal judge deregistration merged into the main dereg handler