Robert Pluim  writes:

> I think this should be @code{false}

Eli Zaretskii  writes:

> We use @code{false} for such symbols, not "manual quoting".
>
> Also, this should be done on the emacs-30 release branch, because the
> problem is already there, right?

Done, and done: