chiark / gitweb /
"STRIPCMD=" for the EXTRAS