Remove comments that are obsolete since r6028.