Gavin Smith <gavinsmith0...@gmail.com> wrote: > I've attempted to fix it in version 2023-03-27.21. I tried to > support different configurations of manual (e.g. @contents at start, > @contents at end, no @contents) but it is quite possible I've missed > some possibilities.
Looks good to me. Thanks! Arnold