diff --git a/Changes b/Changes
index ba0641fee..f39523014 100644
--- a/Changes
+++ b/Changes
@@ -25,32 +25,31 @@ Verilator 5.043 devel
 * Add `sc_biguint` pragma (#6712). [Jakub Wasilewski, Antmicro Ltd.]
 * Add 'make venv' target (#6775). [Geza Lore]
 * Add SUPERNFIRST error on super.new on non-first statement (#6784). [Artur Bieniek]
-* Add fargs for reusability of --dump-inputs output (#6812). [Geza Lore]
+* Add fargs for reusability of `--dump-inputs` output (#6812). [Geza Lore]
 * Support `std::randomize(){...}` (#4706) (#6573). [Yilou Wang]
 * Support force assignments to unpacked array elements (partial #4735) (#6787). [Ryszard Rozak, Antmicro Ltd.]
-* Support `config` instance clauses (#5891 partial) (#6745). [Dan Ruelas-Petrisko]
+* Support `config' (#5891) (#6714) (#6717) (#6745) (#6764). [Dan Ruelas-Petrisko]
 * Support unpacked struct in localparam (#6053 partial) (#6708). [Jonathan Drolet]
-* Support randsequence (#6131).
+* Support `randsequence` (#6131).
 * Support array reference arguments into 'std::randomize()' (#6384) (#6719). [Yilou Wang]
 * Support basic global constraints (#6551) (#6552). [Yilou Wang]
 * Support SystemC time resolution with step 10/100 (#6633) (#6715). [Aliaksei Chapyzhenka]
-* Support this.randomize() with constraints (#6634). [Artur Bieniek, Antmicro Ltd.]
+* Support `this.randomize()` with constraints (#6634). [Artur Bieniek, Antmicro Ltd.]
 * Support multi-expression sequences (#6639). [Bartłomiej Chmiel, Antmicro Ltd.]
 * Support `#1step` delay as statement  (#6671). [Pawel Kojma, Antmicro Ltd.]
 * Support clocking output delay `1step` (#6681). [Ondrej Ille]
-* Support parsing of dotted bins_expression  (#6683). [Pawel Kojma, Antmicro Ltd.]
+* Support parsing of dotted `bins_expression` (#6683). [Pawel Kojma, Antmicro Ltd.]
 * Support constant expression cycle delays in sequences (#6691). [Ryszard Rozak, Antmicro Ltd.]
 * Support general global constraints (#6709) (#6711). [Yilou Wang]
-* Support `config` default liblist (#6714). [Dan Ruelas-Petrisko]
-* Support `config` cell clauses (#6717). [Dan Ruelas-Petrisko]
 * Support complex std::randomize patterns (#6736) (#6737). [Yilou Wang]
-* Support rand_mode in global constraint gathering (#6740) (#6752). [Yilou Wang]
+* Support `rand_mode` in global constraint gathering (#6740) (#6752). [Yilou Wang]
 * Optimize away calls to empty functions (#6626). [Geza Lore]
 * Optimize redundant headers in Syms implementation files. [Geza Lore, Fractile Ltd.]
 * Optimize constructor/destructor VerilatedModules (#6660). [Geza Lore, Fractile Ltd.]
 * Optimize repeated function call during symbol table initialization (#6665). [Geza Lore, Fractile Ltd.]
 * Optimize functions reading external parameters as pure (#6684). [Geza Lore, Fractile Ltd.]
-* Optimize $past delayed variable reuse (#6689). [Geza Lore, Fractile Ltd.]
+* Optimize `$past` delayed variable reuse (#6689). [Geza Lore, Fractile Ltd.]
+* Optimize trace code for faster compiles on repeated types (#6707). [Todd Strader]
 * Optimize combinational loops through sign extension (#6724). [Geza Lore]
 * Optimize trace initialization code size (#6749). [Geza Lore]
 * Optimize combinational cycles in DFG (#6744) (#6746) (#6744). [Geza Lore]
@@ -60,6 +59,7 @@ Verilator 5.043 devel
 * Fix randomize called within func/task (#6144) (#6753). [Yilou Wang]
 * Fix pre/post_randomize on extended classes (#6467). [Alex Solomatnikov]
 * Fix expression short circuiting (#6483). [Todd Strader]
+* Fix resized lvalues with warning suppressed (#6497) (#6816). [Alex Solomatnikov]
 * Fix expression coverage of system calls (#6592). [Todd Strader]
 * Fix `--timing` with `--x-initial-edge` (#6603) (#6631). [Krzysztof Bieganski, Antmicro Ltd.]
 * Fix merging of impure assignments in gate optimization (#6629) (#6630). [Geza Lore]
@@ -108,7 +108,7 @@ Verilator 5.043 devel
 * Fix `disable iff` in simple properties (#6783). [Ryszard Rozak, Antmicro Ltd.]
 * Fix input sampling of clocking block signals (#6788). [Pawel Kojma, Antmicro Ltd.]
 * Fix O(n*2) analysis in const-bit-op-tree (#6791). [Geza Lore]
-* Fix resized lvalues with warning suppressed (#6497) (#6816). [Alex Solomatnikov]
+* Fix nested struct within parameter port list (#6818) (#6824). [Luca Colagrande]
 
 
 Verilator 5.042 2025-11-02
diff --git a/docs/guide/exe_verilator.rst b/docs/guide/exe_verilator.rst
index 2da0fe466..35d4aae2a 100644
--- a/docs/guide/exe_verilator.rst
+++ b/docs/guide/exe_verilator.rst
@@ -992,7 +992,7 @@ Summary:
 .. option:: -libmap <lib.map>
 
    Specifies library mapping file to sort modules into libraries. This can be
-   overridden by :vltopt:`-work`.
+   overridden by :vlopt:`-work`.
 
 .. option:: +librescan