I don't think these comments are true anymore, and they can probably be removed.