Version
The settings on this page should not be changed by the ordinary user,
but appear here for documentation purposes, and so that they can
form part of the standard databases and be queried accordingly.
Version and subversion number, with three significant decimals.
Last date of change of current (sub)version, in format yyyymmdd.