I installed Deco. When I launch it for the first time, I see:  How can I get the application to launch successfully? Presumably this is related to: https://github.com/decosoftware/deco-ide/blob/d586dd0499833b9b2ad2ba894e95a48ea95061cb/web/src/scripts/containers/Upgrader.jsx#L80-L81