chiark / gitweb /
bash-completion: use improved filtering to make things faster