rewrite jupyter find & replace to use antd (not react-bootstrap)

Author: williamstein

src/packages/frontend/antd-bootstrap.tsx

@@ -38,7 +38,6 @@ import {
   Tooltip,
 } from "antd";
 import { MouseEventHandler } from "react";
-
 import { inDarkMode } from "@cocalc/frontend/account/dark-mode";
 import { Gap } from "@cocalc/frontend/components/gap";
 import { r_join } from "@cocalc/frontend/components/r_join";

src/packages/frontend/jupyter/commands.ts

@@ -508,6 +508,7 @@ export function commands(actions: AllActions): {
 
     "find and replace": {
       i: "replace",
+      b: "Find",
       m: jupyter.commands.find_and_replace,
       k: [
         { mode: "escape", which: 70 },