Edit @ 12:34 : which administrator deleted the post above the first time I inserted it? Can posts be expected to disappear like that? Somebody had a sore spot for silly jokes?
Second Edit @12:42: And now the initial post is back. Very interesting.