[CircleCI Generated] generate-scheduled-14856

[arangodb-docs-automation]

Automatically generated content from CircleCI generate-scheduled workflow

---

Note

Low Risk
Changes are confined to generated documentation/metadata files; main risk is inaccurate docs (not runtime behavior) if the regenerated defaults or option/metric descriptions are wrong.

Overview
Refreshes the generated site/data artifacts for multiple ArangoDB versions.

Adds new 3.12/4.0 metric documentation for activity registry and replication shard follower gauges, and tweaks wording for several existing async-related metrics.

Updates 3.12 arangod option metadata by adding activity-registry.cleanup-timeout and crash-handler.enable-dumps, adjusting several computed default memory sizes (cache/query/RocksDB/dump), and changing the documented default working-directory to .. Also includes large-scale whitespace/formatting normalization in long descriptions and reorders/retitles entries in optimizer-rules.json (including hiding/locking the new push-filter-into-enumerate-near rule behind use-vector-index).

^{Written by Cursor Bugbot for commit 9f9740b. This will update automatically on new commits. Configure here.}

[arangodb-docs-automation]

Deploy Preview Available Via
https://deploy-preview-878--docs-hugo.netlify.app

[cla-bot]

Thank you for your pull request and welcome to our community. We could not parse the GitHub identity of the following contributors: CircleCI Job.
This is most likely caused by a git client misconfiguration; please make sure to:

1. check if your git client is configured with an email to sign commits git config --list | grep email
2. If not, set it up using git config --global user.email email@example.com
3. Make sure that the git commit email is configured in your GitHub account settings, see https://github.com/settings/emails