Drop animated workspacesPro widget; legacy workspaces is the default

The legacy 'workspaces' built-in renders cleaner than the animated
workspacesPro file widget. Removed the widget file, its first-party
registration in Bar.qml, and updated the default layouts and docs.
'workspaces' loses the (legacy) tag in the catalog since there's no
alternative anymore.

default/quickshell/omarchy-shell/plugins/bar-settings/BarSettingsPanel.qml

@@ -56,7 +56,7 @@ Item {
       fontFamily: "JetBrainsMono Nerd Font",
       centerAnchor: "calendar",
       layout: {
-        left: [{ id: "omarchy" }, { id: "workspacesPro" }, { id: "activeWindow" }],
+        left: [{ id: "omarchy" }, { id: "workspaces" }, { id: "activeWindow" }],
         center: [
           { id: "media" },
           { id: "calendar", format: "dddd HH:mm", formatAlt: "dd MMMM 'W'ww yyyy", verticalFormat: "HH\n—\nmm" },
@@ -273,7 +273,7 @@ Item {
   // whenever the registry revision changes.
   readonly property var legacyWidgetMeta: ({
     "omarchy":          { name: "Omarchy menu",      description: "Launches the Omarchy menu",                category: "Compositor" },
-    "workspaces":       { name: "Workspaces (legacy)", description: "Workspace numbers, no animation",         category: "Compositor" },
+    "workspaces":       { name: "Workspaces",          description: "Workspace number indicators",              category: "Compositor" },
     "clock":            { name: "Clock",             description: "Date / time text",                          category: "Time" },
     "weather":          { name: "Weather (legacy)", description: "Tiny weather pill",                          category: "Info" },
     "update":           { name: "Updates",           description: "Indicates available system updates",        category: "System" },