Optional upgrade step to run installer

I expect some discussion on mailing list first, then we'll update/merge/close this PR.
s/installer/the installer/ (above and below) too