Finish extract-docs

The script now does everything I currently (and there is not much more to do
in the future) want it to. Closing the branch.