Docs uploading: check that we dont upload "dev" versions.
Use sphinx theme "nature".