chiark / gitweb /
mention in README that it might be found in the output directory