We could also have separate files, e.g.:

* srfi-123.html (SRFI HTML)
* srfi-123-info-add.scm (human-written general information additions)
* srfi-123-info.scm (auto-merged general info from HTML and additions)
* srfi-123-args.scm (auto-extracted Lisp-style signatures from HTML)
* srfi-123-types.scm (human-written static type specifications)

The general information file, srfi-123-info.scm, could list only the
names and kinds (procedure, syntax, variable) of symbols defined in the
SRFI without the argument lists.