Congress-critters retiring is an easy way to remove them; judges are lifetime appointments which makes it harder to do it quietly. There are some recent retirements (9th Circuit) that may well fall into the removals categories (how else do you think Trump has so many of those to fill…)
What really sucks is your Reddit spacing.