Most likely the fact that it appeared here caused someone to look at it, realize that the title didn't match the contents, and hurry to change it. The old titl

Most likely the fact that it appeared here caused someone to look at it, realize that the title didn't match the contents, and hurry to change it. The old title really was egregiously bad. @dang, can we get it fixed?