chiark / gitweb /
Add feature which checks for newer releases on startup.