I just accidentally deleted my own post,
no-one should be alarmed.
( well, Tue 26 Aug 2008, 16:39, archived)