Fix the sphinx extension.
Update version and docs for 4.0a1