You know, if blizzard just removed keystone depletion entirely, none of this would even be necessary to discuss.
Someone left group? Whatever, no depletion, we just form new group and go again.
The system of keystone depletion is the only reason why leavers are an issue in the first place.
Leaving a raid group doesn’t matter because raid bosses don’t deplete.