Addon to #87: After merging, update the version.

Once the settings have been merged, they're considered updated.
The version string should reflect this so we don't need to do this
more than once.