chiark / gitweb /
Switch to xz compression for source.