A post of mine above (indeed the most recent post of mine above) has become meaningless thanks to the deletion of the post to which it responded. That and this should be deleted please.