if sphinx is never run automatically (which i think is the case), the version of crate-docs-theme should not be nailed, otherwise we always have to update this file in order to reflect the production outcome when looking at the docs.