push by default

1 files changed, 1 insertions, 2 deletions

diff --git a/docs/development.md b/docs/development.md
index e09abbc..519d64c 100644
--- a/docs/development.md
+++ b/docs/development.md
@@ -26,8 +26,7 @@ and with Mycelium's round trips, each link its own; and Tor's, with some slow ci
 members joining during the writes; several minutes, or one scenario alone
 with `BENCH_SCENARIO`, part of its name: `BENCH_SCENARIO=NAT`; all at once with
 `BENCH_PARALLEL=1`, faster on many cores, though sharing them makes delays come out
-somewhat higher; with `BENCH_PUSH=1`, changes along writers' trees go as they are
-rather than in Automerge sync messages, an experiment to measure against; and in `bench_bridge`, large values from a writer on a fast transport
+somewhat higher; and in `bench_bridge`, large values from a writer on a fast transport
 through a bridge to a node on a slow one: what that node gets as sync messages and as
 blobs against what was written, 200 values unless `BENCH_BRIDGE_WRITES` says
 otherwise, over a fast link of 1 GiB/s and 5 ms round trips and a slow one of 50