Happily, this comment is now out of date!