Remove mention of HTML version