Should this comment be removed from production HTML?