chiark / gitweb /
further cleanups in the section about picking the distribution