chiark / gitweb /
Further web interface visuals: choose directories now have an icon,