chiark / gitweb /
mention gpl3 in README.developers