How a new HTML element will make the Web faster