brian/prod: links for sphinxcontrib-gitinclude