Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo
Beginnings of documentation for DYNAMIC-EXTENT.
... working with texinfo seems easier even if the tools aren't
Also log a pair of related bugs in the type system