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.