Auto-generated module documentation with tools/chibi-doc.