No there isn't, and it would be a Good Thing.  As a kludge, one could render the HTML to plain text with a command-line tool (I use lynx -dump for the purpose) and look for lines that match the regex /^([a-z-]* /.  Not perfect, but it would help.

On Mon, Mar 26, 2018 at 6:23 AM, Ciprian Dorin Craciun <xxxxxx@gmail.com> wrote:
Hello all!

I was wondering if there is somewhere a list of all the symbols
(constants, functions, syntaxes, etc.) defined by the various SRFI
proposals?

Thanks,
Ciprian.