Of these two options, its more likely to be Jimmy. They want to keep RBG around as long as possible until they can get Trump out of office so he can't pick her replacement. If she dies publicly before the next election, they will try to claim that it is "improper" for Trump to pick her successor during an election year. Remember, until the Republican Party got out from under that court ordered suppression sanction last year (the one the RINOs agreed to), they could not publicly point out when the Democrats were breaking the law or acting improperly. The rules have now changed, but the Dems are still acting like they did for that 20 years when they had the "get out of jail free" jail cards. The rules have changed. It won't end well for them.