Hi Ludo,

On Fri, 16 Oct 2020 12:38:23 +0200
Ludovic Courtès <ludo@gnu.org> wrote:

> As for the manual, I’m afraid it’ll make every msgid that contains
> @code{#t} stale.  So maybe now’s not a good time to make this change?

Now's definitely not a good time to make this change.

I think it's a good idea to make the change eventually, but I wouldn't change
it so short before a release.