Because the result in the final commit is better. Sorry, I should have
added this commit to fixup when I was rebasing.

On Sat, Jan 28, 2023, 20:08 Maxime Devos <maximedevos@telenet.be> wrote:

>
>
> 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.
>