On Wed, Jan 15, 2014 at 04:02:18PM -0800, Huon Wilson wrote:
> (At the very least, the comment seems to be incorrect?)

Yes, that is true.