Currently, version numbers are hard-coded into one of the scripts that is
run by make website. It'd be fairly trivial to parse the VERSION file in
the top-level source directory to create this correctly, on the fly. Is
this the right approach/file to use, or is there an alternative "approved"
way to get version details?