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