What is the summary regarding how we will proceed
to get the reference documentation about SRFIs (and R^7RS?).

I think micro-data was chosen?

I have been checking with devdocs.io people today and they are
re-starting to process pull requests and publishing updates.

The build system is made of Ruby. I could do it but maybe someone
would be in better position to do it that me.

They told me that usually, the devdocs is generated from existing
documents that live in the web. So, I am wondering what to do from
here, since I don't think SRFI documents qualify as user documentation.

Also, devdocs.io requires the permission to use the documentation in
commercial setting.

I think getting the documentation on devdocs.io would be something
extra. It would be best if we could get together something as snappy
and easy to use as devdocs.io using Scheme :)