Documentation for bash completion