chiark / gitweb /
inject: Insert correct Lines header.