The git commit hash is now displayed on the front page (together with a link to the commit on GitHub).