Set a user's bots and workspaces in their own groups, saved at once

Take the Bots and Workspaces pickers out of the user form. A user's
settings page lists what they reach in two groups, like a workspace's
Bots group: each row links to its settings and can be taken away, and
a select adds one, saved straight away through users/add-access and
users/remove-access (setUserGrant).

Co-Authored-By: Claude Opus 5.5 <[email protected]>

src/pages/admin/settings/users/index.server.ts

@@ -4,13 +4,11 @@ import { SettingsDefaultPath } from "@/src/dict/settings-pages-dict";
 import userAuth from "@/src/functions/backend/auth/user-auth";
 import canListUsers from "@/src/utils/rbac/can-list-users";
 import grabUsers from "@/src/functions/backend/db/users/grab-users";
-import grabCrewOptions from "@/src/functions/backend/db/access/grab-crew-options";
 import grabSettingsServerProps from "../(functions)/grab-settings-server-props";
 
 /**
  * For those who may list users (`canListUsers`: super admins, admins);
- * everyone else lands on the general settings. Carries every worker and
- * workspace, to pick what each user reaches.
+ * everyone else lands on the general settings.
  */
 export const server: BunextPageServerFn<PagePropsType> = async (params) => {
     const settings = await grabSettingsServerProps(params);
@@ -27,7 +25,6 @@ export const server: BunextPageServerFn<PagePropsType> = async (params) => {
         props: {
             ...settings.props,
             persons: (await grabUsers()).payload || [],
-            ...(await grabCrewOptions()),
         },
     };
 };