[And apologies to all those who have noticed that my e-mail was threaded
to the end of someone else's -- I rarely make that mistake! Tired.]