error exit code on migration, also: (#224)

- adapted wording of welcome message,
- added reason to migration message,
- optimized pathprovider.fallbackInUse().