Apologies for the double post.

Got an error saying post was rejected by server and it disappeared. When I
re-composed and re-posted, the old one reappeared as posted okay...