chiark / gitweb /
man: document that Documentation= follows an order