If we do the docs conversion via a separate Dockerfile, why do we need Sphinx in this one?