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.
