(core) Hide tips in grist-core

Summary:
Also fixes a deployment test failure in staging due to a test util
throwing a (harmless) error.

Test Plan: Tested manually.

Reviewers: jarek

Reviewed By: jarek

Differential Revision: https://phab.getgrist.com/D3740

test/nbrowser/homeUtil.ts

@@ -439,7 +439,10 @@ export class HomeUtil {
   }
 
   private async _toggleTips(enabled: boolean, email: string) {
-    if (this.server.isExternalServer()) { throw new Error('not supported'); }
+    if (this.server.isExternalServer()) {
+      // Unsupported due to lack of access to the database.
+      return;
+    }
 
     const dbManager = await this.server.getDatabase();
     const user = await dbManager.getUserByLogin(email);