chiark / gitweb /
runlisp.conf.5.in: Some minor typesetting touch-ups.