Is there a reason that the Github repo (https://github.com/texmacs/texmacs) shows TeXmacs 2.1.2 as the latest tagged release, but the “official” download page (https://www.texmacs.org/tmweb/download/macosx.en.html) gets you TeXmacs 2.1.1 instead?
Which one should we take as the latest stable release ?
Thanks!