chiark / gitweb /
doc/...: Fix `\textbar' properly, and use plain `|'.