Flesh out doc/extensions.txt somewhat.