...
During this process, I note that Vdsm went from 12.4 (plugged in) to 11.9 (just battery). This tells me that the power supply voltage that charges the battery is a bit low. I 'll go back and see if it can be bumped upwent back to check if this power supply voltage could be adjusted, but it can't (at least without taking the supply apart, which I didn't want to do because it is quite hot). It has been running for weeks like this, so I would expect it to keep running.