I tend to agree. While I would have preferred a perfect hotpatch that worked everywhere, it doesn't seem to be enough of a problem to be worth the trouble. The benefit is low relative to the risk of making a mistake and getting it wrong and the amount of etsting that we need to do to make absolutely sure it doesn't.