chiark / gitweb /
man: various minor fixes