bump abort margin & allow aborting active remake

1 files changed, 4 insertions, 3 deletions

diff --git a/src/remake/records.rs b/src/remake/records.rs
index 0e40960..283f612 100644
--- a/src/remake/records.rs
+++ b/src/remake/records.rs
@@ -8,9 +8,10 @@
 //! * `abortRequested`: written by any node on an operator's request. It is an input to
 //!   the coordinator's decision, not a decision itself.
 //!
-//! Once a remake has expired, its coordinator no longer commits it, and any node may
-//! abort it on an operator's request (`api`). Should clocks disagree by more than the
-//! grace margin, a commit and such an abort could still be written concurrently. Such
+//! Once a remake has expired, its coordinator no longer commits it, and a grace period
+//! later any node may abort it on an operator's request (`api`). Should clocks disagree
+//! by more than that grace period, a commit and such an abort could still be written
+//! concurrently. Such
 //! a record is *contested*: it reads as committed, and nodes don't switch to it on
 //! their own.
 //!