Store Flux connection preferences if user chosen not to restart
workbench. Adjust the wording
Merge branch 'master' of https://github.com/eclipse/flux