It turns out that the issues that led to us pinning sphinx and the docs theme have been addressed in newer versions, so these pins can be safely removed.