chiark / gitweb /
stats: use a stable sort that doesn't randomize