Nevertheless, I think that there's an important point here. It was good of the deleter (I forget now who they were) to report the deletion to the mailing list

That was me. More controversial than I thought, though - I don't think I'll do this again (the deleting, not the reporting :-)

Evercat