Nah, that’s been true for a while now. The real point is “several people have reported to me that this was broken in some way, and I’m not quite sure I remember who they all are, and besides it’s been a long day, so rather than email them individually I’ll just post that it’s fixed”.