Version 0 0 139 392: Installer improvements: leave config file untouched until installation; search for potential workspace directory; tweak defaults and messages.