Move files: bash-plugin, config_example
Slight style corrections
Bugfix: user configuration (now!) works