Thanks John, for reporting. Perhaps someone just forgot to update the version numbers after the final releases? It should say "18.5svn" and "20.2svn" in your case now if you are up-to-date there. That is the price for staying on the latest and cutest dev version of the branch. Please ignore, it should be gone soon (I guess). We are also considering version name change from "svn" to "vcs" or "dev" so perhaps that will change soon too.