Merge remote-tracking branch 'origin/master' into aria-20251024

sagemathinc · haraldschilly · Oct 24, 2025 · Oct 28, 2025 · Oct 28, 2025 · Oct 28, 2025
commit db006b2c99e13ca233d46a7d568d3938beddb265
diff --git a/src/packages/frontend/projects/create-project.tsx b/src/packages/frontend/projects/create-project.tsx
@@ -12,7 +12,6 @@ import { delay } from "awaiting";
 import { FormattedMessage, useIntl } from "react-intl";
 
 import { useAutoFocusPreference } from "@cocalc/frontend/account";
-import { Well } from "@cocalc/frontend/antd-bootstrap";
 import {
   CSS,
   redux,