I encourage everyone to read Sergei's proposal below.  It's summer, and activity on the SRFI lists has been quiet, so I thought resending it as a reminder would be worthwhile.

On Tue, Jun 4, 2024, 1:31 PM Sergei Egorov - esl at acm.org (via srfi-discuss list) <xxxxxx@srfi.schemers.org> wrote:
Dear Schemers,
 
Would you be interested in seeing the following SRFI to be submitted, or is it something that is already beaten to death?
 
Best regards,
--Sergei
 
 
SRFI XXX:  Bodies in COND, CASE, WHEN, UNLESS, and DO
 
Abstract
 
While most traditional Scheme constructs with implicit sequencing allow internal definitions, some of them do not.
It is quite easy to extend the functionality of the remaining constructs to allow internal definitions. Such an extension
will be fully backward-compatible while offering more convenience to those who write and read Scheme code.
 
Full text: