Reword May 12 maintenance banner

Author: beran-t

docs.json

@@ -17,7 +17,7 @@
   },
   "favicon": "/favicon.png",
   "banner": {
-    "content": "Maintenance May 12, 8–9 PM PDT (May 13, 03:00–04:00 UTC). ~1 min downtime in sandbox management possible. Running sandboxes unaffected.",
+    "content": "Maintenance May 12, 8–9 PM PDT (May 13, 03:00–04:00 UTC). ~1 min disruption to sandbox management may occur. Running sandboxes unaffected.",
     "type": "warning",
     "dismissible": true
   },