chiark / gitweb /
Clean up a bit and add copyright notices.