chiark / gitweb /
set PATH in magrathea crontab; run at 13:38