FYI,
        * ports.c (scm_char_ready_p, scm_peek_char): In docstrings, don't use
        @footnote since it doesn't go though to guile-procedures.txt.