On 2020-04-09 8:55 a.m., John Cowan wrote:
> I think this is a case for a post-finalization note, which is a
> recommendation to implementers placed in the Status section of the
> SRFI.  You can look at SRFI 113 for what they look like if you want to
> draft one.  On this set of facts, I'm reasonably sure Alex and Arthur
> would accept it.

My thoughts on post-finalization notes are that when people vote on a
SRFI for inclusion in R7RS-Large, they are explicitly voting for or
against the SRFI as amended, unless the ballot question explicitly rules
out a note.

So while a post-finalization note is a recommendation in the SRFI, it
becomes normative if adopted into R7RS-Large.

-- v