development: bash completion for man