Small script testing if some attributes of HTML elements are documented on https://developer.mozilla.org/docs/Web/HTML/Element/