Sync with monorepo definitions

Author: Frannie-Ludmilla

modules/ROOT/pages/procedures.adoc

@@ -1090,21 +1090,22 @@ The deprecated `dbms.quarantineDatabase()` procedure is available in Cypher 5, b
 .Details
 |===
 | *Syntax* 3+m| dbms.unquarantineDatabase(server, databaseName, operation) :: ()
-| *Description* 3+a| Remove the quarantine status from a database in a server performing a cleanup `operation`.
-The possible values for the cleanup operation are:
-
-* `keepStateKeepStore` -- do nothing; leave store and cluster state as they are.
-* `replaceStateKeepStore` -- join as a new member, clearing the current cluster state but keeping the store.
-* `replaceStateReplaceStore` -- join as a new member, clearing both the current cluster state and the store.
+| *Description* 3+a| Lift quarantine from a database on a given server.
 .4+| *Input arguments* | *Name* | *Type* | *Description*
-| `server` | `STRING` | The name or the id of the server where there is the quarantined database.
-| `databaseName` | `STRING` | The name of the database whose quarantine status must be removed.
-| `operation` | `STRING` | Select a cleanup operation to perform while removing the quarantine.
+| `server` | `STRING` | The identifier of the server where the quarantine for database will be lifted.
+| `databaseName` | `STRING` | The name of the database for the quarantine will be lifted.
+| `operation` | `STRING` | Optional operation to apply while lifting the quarantine.
 | *Mode* 3+| DBMS
 |===
 
 [NOTE]
 ====
+The possible values for the optional operation are:
+
+* `keepStateKeepStore` -- do nothing; leave store and cluster state as they are.
+* `replaceStateKeepStore` -- join as a new member, clearing the current cluster state but keeping the store.
+* `replaceStateReplaceStore` -- join as a new member, clearing both the current cluster state and the store.
+
 If you choose to clear the current cluster state, the server will try to join as a new member,
 but this joining can succeed if and only if there is a majority of old members "letting" the new members in.
 Let's assume our cluster has a topology with three primaries.