kris wrote: > In other words, I go to the trouble of adding override for the benefit > of manual auditing. The compiler ought to be helping me with that task? I'll put it in as a warning in the next update, and we can try it out.