as spotted by David Feuer and reported as #9585. The comment was right until ceb68b91, which is only 13 years ago :-).