chiark / gitweb /
Deal more sensibly with various combinations of input format