OK, with this and another thread, my conclusions are:
- the OnOff pin on the Teensy 4.1 is really cool! It allows me to eliminate a similar circuit from my daughterboard to provide push-button on-off.
- the function comes, not surprisingly, at a power cost (20-30 uA), drawing from the VBAT when...