chiark / gitweb /
copyright: notice re formalities