To prevent it from getting out of sync with the version in the standard modules. See https://github.com/tlaplus/tlaplus/issues/764#issuecomment-1265650057.
To prevent it from getting out of sync with the version in the standard modules. See tlaplus/tlaplus#764 (comment).