chiark / gitweb /
Slim down the setup created by setup-ubuntu.sh