chiark / gitweb /
note new script