chiark / gitweb /
shell-completion: restore completion for -p