chiark / gitweb /
General overhaul of copyright notices. [work in progress]