getlantern/lantern#1576 Updated reinstall-lantern.bash for shorter downtime