Update PR num and release status

CHANGES.md

@@ -4,15 +4,15 @@
 
 ### Changed
 
-- Document presence in stdlib-runner help (required, default, etc.) (#PR, @mbarbin).
-- Minor refactor in stdlib-runner (#PR, @mbarbin).
-- Upgrade to `climate.0.3.0` (#PR, @mbarbin).
+- Document presence in stdlib-runner help (required, default, etc.) (#19, @mbarbin).
+- Minor refactor in stdlib-runner (#19, @mbarbin).
+- Upgrade to `climate.0.3.0` (#19, @mbarbin).
 
 ### Deprecated
 
 ### Fixed
 
-- Fix trailing dot additions in `to-cmdliner` for cases such as `?.` and `..` (#PR, @mbarbin).
+- Fix trailing dot additions in `to-cmdliner` for cases such as `?.` and `..` (#19, @mbarbin).
 
 ### Removed
 

doc/docs/reference/odoc.md

@@ -4,20 +4,13 @@ You can view the published odoc pages here: [https://mbarbin.github.io/cmdlang/o
 
 ## Release status
 
-### Pending releases
+We have released an initial set of packages to allow interested parties to experiment with cmdlang and provide early feedback.
 
-We have released the following packages to allow interested parties to experiment with cmdlang and provide early feedback.
+We plan to release the translation to `core.command` next. However, this will require additional work. Specifically, we aim to complete the coverage of that part of the code and exercise the translation using special configuration options in a tutorial.
 
 | package              | released to opam |
 |----------------------|:----------------:|
 | cmdlang.opam         |   ✓              |
 | cmdlang-to-cmdliner  |   ✓              |
 | cmdlang-to-climate   |   ✓              |
-
-### Planned releases
-
-We also plan to release the translation to `core.command`. However, this will require additional work. Specifically, we aim to complete the coverage of that part of the code and exercise the translation using special configuration options in a tutorial.
-
-| package              | released to opam |
-|----------------------|:----------------:|
 | cmdlang-to-base      |   planned        |