Which mmj2 should I run?

[David A. Wheeler]

Before I create a video, I want to make sure I am running the
"current best version" of mmj2. Can someone confirm what's the
"best version to use"?

The Metamath site links to:
http://us.metamath.org/index.html#mmj2
where it seems to recommend using this version of mmj2:
http://us2.metamath.org:88/ocat/mmj2/mmj2.zip
The metamath website says that this link is for
"(latest version, 2.4.1 26-Jan-2016, maintained by Mario Carneiro)".
However, when I unzip that file, I find this:
./src/mmj/pa/PaConstants.java: public static final String VERSION = "2.5.3";
./src/mmj/pa/PaConstants.java: public static final String VERSION_DATE = "23-Sep-2019";

So I think the Metamath website *link* is correct, and that's what I should use.
If so, the text *describing* the link is wrong & needs an quick update
to the correction version & date (or just omit that entirely).

For comparison's sake, the mmj2 I'm currently running reports:
Hi! I am mmj2 v2.5.1 as of 29-Dec-2016
so I seem to running an older version.

The Metamath site also links to https://github.com/digama0/mmj2
but when I look at its releases here: https://github.com/digama0/mmj2/releases
the latest release is merely v2.5.2
released this on May 10, 2017. I don't know why version 2.5.3 isn't
tagged as a release (Mario: please tag it, it'd be a lot less confusing!).

Thanks!!

--- David A. Wheeler

[ookami]

In case you need a quick answer:

The version of 23-Sep-2019 most likely contains changes triggered by this pull request https://github.com/metamath/set.mm/pull/1089 . There is a related thread on this group https://groups.google.com/forum/#!msg/metamath/HdfvWF2WhBE/-QCvEL2LBQAJ , indicating that 2.5.3

is either the latest version, or close to it.

Of course, Mario knows the answer best.

Wolf