“is Ruth Bader Ginsburg gone yet?”
I don’t know why but your question brings this to mind:
https://www.youtube.com/watch?v=KDXbl54HpQE
: )
Yeah, they may be appointed for life but that don’t mean they can’t resign. I think her “Best If Used By” date has come and gone.