chiark / gitweb /
man: use xinclude to de-deduplicate common text