chiark / gitweb /
man: document that we don't document .include on purpose