Make built-in extensions available online just like other extensions *VW*
The inform7 website has documentation for Inform, and it has documentation and source text for optional extensions, but it has nothing for built-in extensions. It would be convenient to be able to read both documentation and source online.
2
votes