Update header-w3c-html-core

added UI for changing from default to developer view