Update documentation to mention ext branch

The ext branch has been around for a while.  It would make sense to
mention it, rather than keeping the flat statement that extensions are
not possible.
Merge branch 'master' into ext