[CI] Refresh Low* tutorial

Author: dzomo

lowstar/html/Setup.html

@@ -122,10 +122,12 @@ <h2>Installing the tools<a class="headerlink" href="#installing-the-tools" title
 <div class="highlight-bash notranslate"><div class="highlight"><pre><span></span>$<span class="w"> </span>./everest<span class="w"> </span>pull<span class="w"> </span>FStar<span class="w"> </span>make<span class="w"> </span>karamel<span class="w"> </span>make
 </pre></div>
 </div>
+<p>For a nix flake based install use</p>
+<div class="highlight-bash notranslate"><div class="highlight"><pre><span></span>$<span class="w"> </span>nix<span class="w"> </span>shell
+</pre></div>
+</div>
 <p>In any case, remember to export suitable values for the <code class="docutils literal notranslate"><span class="pre">FSTAR_HOME</span></code> and
 <code class="docutils literal notranslate"><span class="pre">KRML_HOME</span></code> environment variables once you’re done.</p>
-<p>Be aware that KaRaMeL is not at this time compatible with recent versions of
-OCaml. See <a class="reference external" href="https://github.com/FStarLang/karamel/issues/169">https://github.com/FStarLang/karamel/issues/169</a> for the discussion.</p>
 <p>We strongly recommend using the <a class="reference external" href="https://github.com/FStarLang/fstar-mode.el">fstar-mode.el</a> Emacs plugin for interactive mode
 support.</p>
 <div class="admonition note">

lowstar/html/_sources/Setup.rst.txt

@@ -34,12 +34,15 @@ script for that purpose:
 
   $ ./everest pull FStar make karamel make
 
+For a nix flake based install use
+
+.. code-block:: bash
+
+  $ nix shell 
+
 In any case, remember to export suitable values for the ``FSTAR_HOME`` and
 ``KRML_HOME`` environment variables once you're done.
 
-Be aware that KaRaMeL is not at this time compatible with recent versions of
-OCaml. See `<https://github.com/FStarLang/karamel/issues/169>`_ for the discussion.
-
 We strongly recommend using the `fstar-mode.el
 <https://github.com/FStarLang/fstar-mode.el>`_ Emacs plugin for interactive mode
 support.