ppc64le/linux: links for sphinx-rtd-theme