chiark / gitweb /
scripts/teardown.in no longer removes things that are (now) installed