Check for updates now refers to release_version.txt, to make it clear
that this file is supposed to contain the version number for the
released version, rather than the development version.