     detectedOS = "linux";
    }

    enableDownloadFor(detectedOS);

  </script>
  <script src="https://unpkg.com/@highlightjs/cdn-assets@10.7.2/highlight.min.js"></script>
  <script src="docs/theme/custom-highlight.js"></script>
  <script>hljs.highlightAll();</script>
</body>
</html>
