chiark / gitweb /
infra: Clean up project setup