Has the far left started bitching that Ginsburg should have retired while Obama was president yet?