docs: function polyfillHTMLElements() {
    if (typeof HTMLElement !== 'function') {
      var _HTMLElement = function(){};
      _HTMLElement.prototype = HTMLElement.prototype;
      HTMLElement = _HTMLElement;
    }
  
    if (typeof HTMLButtonElement !== 'function') {
      var _HTMLButtonElement = function(){};
      _HTMLButtonElement.prototype = HTMLButtonElement.prototype;
      HTMLButtonElement = _HTMLButtonElement;
    }
  
    if (typeof HTMLAnchorElement !== 'function') {
      var _HTMLAnchorElement = function(){};
      _HTMLAnchorElement.prototype = HTMLAnchorElement.prototype;
      HTMLAnchorElement = _HTMLAnchorElement;
    }
  
    if (typeof HTMLCanvasElement !== 'function') {
      var _HTMLCanvasElement = function(){};
      _HTMLCanvasElement.prototype = HTMLCanvasElement.prototype;
      HTMLCanvasElement = _HTMLCanvasElement;
    }
  }