I have been deleting obsolete and off-topic posts from my website. This post has moved here.