This post has moved to /question.html.