is the latest version of ArangoDB. It was updated 2025-12-18.