This file contains all known HTML elements