On 26 April 2018 at 20:04, Virgil Stokes <vs at it.uu.se> wrote: > IMHO it would have been useful to have "warning" somewhere in these > messages. Ha, I'd never even noticed that it didn't... I think it's in a different colour, FWIW, but your point is good. Paul