This page is part of the web mail archives of SRFI 17 from before July 7th, 2015. The new archives for SRFI 17 contain all messages, not just those from before July 7th, 2015.
Thanks. That's about what I really expected. Now I'd still like to see a write-up of the SRFI that reflects this implementation. -- Matthias