chiark / gitweb /
prioq: never shuffle identical entries