docs: function (section) {
              // PROFILING // var profilingId = this.$startMeasure("Inserting
              // section in DOM");
              ariaUtilsDom.replaceHTML(this.domElement, section.html);
  
              // var sectionDomElement = this.domElement.firstChild;
  
              // Maybe the initWidget should be done after displaying the popup ?
              section.initWidgets();
  
              this.section = section;
              // PROFILING // this.$stopMeasure(profilingId);
          }