chiark / gitweb /
trim-ps script to make files print faster