docs: function toggleProfiler() {
  			if (!data.profiler.show) {
  				profilerCanvas.style.display = "block";
  				profilerCheckBox.checked = true;
  			} else {
  				profilerCanvas.style.display = "none";
  				profilerCheckBox.checked = false;
  			}
  			data.profiler.show = !data.profiler.show;
  		}