Un-deprecate HTML ol type attribute per specs (#4776)
Un-deprecate HTML ol type attribute per specs (#4776)

The "type" attribute of the "ol" HTML element was deprecated in HTML4, but then un-deprecated in HTML5 and Living Standard, for purpose of ordered list item markers which convey meaning. See MDN for more background and links to specs: https://developer.mozilla.org/en-US/docs/Web/HTML/Element/ol
mdn/browser-compat-data,chrisdavidmills/browser-compat-data,chrisdavidmills/browser-compat-data,mdn/browser-compat-data