chiark / gitweb /
skelrc: Refactor and expand the GPL machinery.