chiark / gitweb /
bash-completion: split completions and move to new location