chiark / gitweb /
man: use <replaceable> in various places