Changing doc submodule to actually use the GitHub URL.