Online help for SRFIs?

[jpellegrini]

Hi @egallesio !

I was wondering if it'd be OK to have online help for SRFI procedures.

I have added help for one SRFI-217 procedure, just to see if it'd work.
The help when I search the symbol is always available, but if I search the procedure, then of course we need the SRFI loaded first:

stklos> (help 'iset?)
Help for iset?:
Documentation:
  (iset? obj)
  Returns |#t| is |obj| is an iset and |#f| otherwise.
stklos> (help iset?)
**** Error:
%execute: variable `iset?' unbound
	(type ",help" for more information)
stklos> (require "patricia")
"patricia"
stklos> (import stklos/patricia)
stklos> (help iset?)
Help for iset?:
Documentation:
  (iset? obj)
  Returns |#t| is |obj| is an iset and |#f| otherwise.

I'm not sure if adding documentation to all SRFIs wouldn't be too much in terms of space.

By the way, I have tried grepping DOCDB for iset and it's not there. So where is it stored?