@feld I wouldn't want to do that at boot time, only upgrade time, and I'd want to be certain that both loaders were updated before booting the upgraded system. If we had some conventions about how the ESP was identified, the install process could do it automatically, but at least all of my systems are sui generis -- I have no idea even how the stock installer sets things up. Ideally, there could be a pkgbase trigger to do it. Of course you don't want to overwrite every visible ESP willy-nilly.