chiark / gitweb /
man: explain precedence for options which take a list (#7010)