Simon Josefsson via Guix-patches via <guix-patches@gnu.org> writes:

> +Supported technologies include the event-based $dfn{HOTP} algorithm (RFC4226),
                                                  ^

That should be @ -- sorry about that, and I hope you can fix it manually
when applying the patch.

/Simon