Check version number of beta version 5.xx.yyy in
   beta/_jarVersion.txt
If only the yyy digits differ from the current main version,
then only minor improvements and bug corrections have been made
in the beta version. Typically a download makes sense if
advised by our support team or if the xx digits have changed.