Improve startup script to provide a better user experience. The default configuration provides a typical minimal ready-to-go setup. While here pacify portclippy and portfmt.