chiark / gitweb /
doc/refintro.tex, src/sod-module.5: Fix slightly garbled text.