Ah ha! Good to know this.

So, presumably, all boards will upgrade only when *not* mod'ed....?

(Which isn't unreasonable.)