Of my 3 stations, one did not like the online upgrade to 3.7.2. They were all of the SD card type.
Just out of curiosity, I decided to try to upgrade the problem station again, but using the Debian add-on this time. It’s working perfectly now.
Any functional differences between the SD card and Debian add-on that I should make a note of?