Merge remote-tracking branch 'github/main'

# Conflicts:
#	src/lib/messages.js

.circleci/config.yml

@@ -14,7 +14,7 @@ jobs:
           command: |
             mkdir -p ~/.ssh
             echo $GH_HOST >> ~/.ssh/known_hosts
-            echo $RPM_HOST >> ~/.ssh/known_hosts
+            echo $HAVANA_HOST >> ~/.ssh/known_hosts
       - run:
           name: Install NPM
           command: |
@@ -32,7 +32,7 @@ jobs:
       - run:
           name: Deploy webvm
           command: |
-            rsync -avz --chown circleci:runtimes webvm/build/ circleci@$havana.leaningtech.com:webvm/
+            rsync -avz --chown circleci:runtimes webvm/build/ circleci@havana.leaningtech.com:webvm/
 
 workflows:
   deploy: