chiark / gitweb /
Use autogenerated version and display it in the UI