chiark / gitweb /
new wrapper script actually works