fix small lint issues

app/client/models/AdminChecks.ts

@@ -159,7 +159,7 @@ within a sandbox isolated from other documents and isolated
 from the network.
 `
   },
-  
+
   'system-user': {
     info: `
 It is good practice not to run Grist as the root user.

app/client/ui/AdminPanel.ts

@@ -509,7 +509,7 @@ isolated from other documents and isolated from the network.'),
               return dom(
                 'div',
                 cssLabel(key),
-                dom('input', dom.prop('value', JSON.stringify(val))))
+                dom('input', dom.prop('value', JSON.stringify(val))));
             }),
       ],
     });

app/server/lib/BootProbes.ts

@@ -190,7 +190,6 @@ const _hostHeaderProbe: Probe = {
   },
 };
 
-
 const _sandboxingProbe: Probe = {
   id: 'sandboxing',
   name: 'Is document sandboxing effective',