chiark / gitweb /
legal: Move legal information into its own file