Hi Ludovic!

ludo@gnu.org (Ludovic Courtès) writes:

> A faster possibility (aka. let’s release!) would be to add something
> like that at the end of “Binary Input”:
>
>   The (ice-9 binary-ports) module provides the following procedure as an
>   extension to (rnrs io ports):

I like this idea, and have done so.  The updated patch is attached.

    Thanks!
      Mark