I'm just about to re-send to OPE three messages that I wrongly sent to PEN, due probably to an excess of Christmas spirit.
Apologies to everyone who gets the posts twice as a result, and apologies for any embarassment to Jerry.
Alan