chiark / gitweb /
normal2openstvtxt: produces something that openstv accepts; need to check