Eli Zaretskii <eliz@gnu.org> writes:

>> From: Xiyue Deng <manphiz@gmail.com>
>> Cc: 67820@debbugs.gnu.org
>> Date: Sat, 16 Dec 2023 02:46:42 -0800
>> 
>> +(Note that this code snippet is copied verbatim from the original code,
>> +so the two extra ending parentheses are matching the previous `if' and
>> +`while'.)
>
> The "if" and "while" should be in @code, not quoted with literal
> characters.

Indeed.  Please find the updated patch attached.
-- 
Xiyue Deng