chiark / gitweb /
Change recommended base box from Ubuntu to Debian