Incorporate sef's update server changes (update-push target does too much, can't
simply depend on it as currently written).  Also fix a small formatting issue
in install script at the same time (current formatting looks funky - let dialog
DTRT instead).