diff --git a/README.md b/README.md
index 6f53647..24a22a9 100644
--- a/README.md
+++ b/README.md
@@ -416,7 +416,7 @@ Changes are in [CHANGELOG.md](CHANGELOG.md).
    processes, puts each replica in a process of its own on the SEPP's two
    cores, linked through F´'s GenericHub, with a real kill. Both are built for
    OPS-SAT PRETTY's processor and ran full length in ESA's experiment
-   environment; a run on the SEPP is planned, not yet proposed. Next:
+   environment; a run on the SEPP is planned. Next:
    `PowerAccountant` and `ScrubScheduler`.
 2. **Measurements on representative processors**: static ARM Linux binaries are
    built and tested in CI under emulation. The 32-bit ARM binary ran on the
diff --git a/docs/opssat.md b/docs/opssat.md
index 528e985..4d9086b 100644
--- a/docs/opssat.md
+++ b/docs/opssat.md
@@ -149,8 +149,7 @@ packages a binary you built yourself.
 
 ### Run 3 (v0.7.0, the F´ deployment, planned)
 
-Run 1 flew the demo, `quorum`, and run 2 uses it too. Run 3, planned and
-not yet proposed to ESA, is the package for the F´ components ([design](fprime-design-fpp.md)) in a real F´ deployment,
+Run 1 flew the demo, `quorum`, and run 2 flew it too. Run 3, planned, is the package for the F´ components ([design](fprime-design-fpp.md)) in a real F´ deployment,
 `MruOpsSat`: `RedundancyManager`, `HealthRegistry`, three `ReplicaHost`
 threads and the test-only `FaultInjector`, with F´'s own command
 dispatcher, event manager, telemetry database, health pings and command