html: NOPROFILE-controlled comment now wiped out