On 28-01-2023 10:14, Blake Shaw wrote:
> Thanks! The new latest edit is still preferred but I'll keep that in
> mind for the future.

I don't follow? The commit message was:

> [PATCH v1 2/6] docs/match: rm unquote-splicing as it interferes with textinfo
> don't know how to fix this rn, but...

I.e., this commit is just a work-around for broken Texinfo markup.  Why
would you settle for a work-around when a fix (i.e. @@ instead of @) is
available?

Greetings,
Maime.