What happens when HTML standards evolve and provide more header types that allow options?