i've updated the whole comment, which made little sense for the current
version, in 07d552c.