Eli Zaretskii <eliz@gnu.org> writes:
>> From: Spencer Baugh <sbaugh@janestreet.com>
>> Cc: 63469@debbugs.gnu.org
>> Date: Tue, 16 May 2023 13:09:56 -0400
>> 
>> Also with the bug number in the commit message.
>
> Thanks.  This LGTM, but what about Juri's suggestion to have a
> separate Project menu under Tools, with all these as its items?

Sounds reasonable to me, added.