Implement #727, the physical button for reinstallations.
A couple more fixes to #7, among the previous commits.
Colour tweaks for messages.