Install instruction: mention the preferred just-mrv1.1.0-alpha+20230419

1 files changed, 6 insertions, 0 deletions

diff --git a/INSTALL.md b/INSTALL.md
index 70b20f09..d8f10593 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -72,6 +72,7 @@ before to be present as well).
   this directory and has the expected blob id (computed the same
   way as `git` does). Only if this is not the case, fetching from
   the network is attempted.
+
 Additionally, if the environment variable `DEBUG` is set, the second
 bootstrap phase is carried out sequentially rather than in parallel.
 
@@ -131,3 +132,8 @@ is used. It also a useful launcher for `just`.
 
 This tool is Python3 script located at `bin/just-mr.py` and can simply be put
 into an appropriate location in `PATH`.
+
+There is also a compiled version of `just-mr`, which is faster,
+works in parallel, and has additional features. It can be obtained
+by building the target `["", "installed just-mr"]` using the
+bootstrapped `just` and the Python3 script `bin/just-mr.py`.