Use manual (duplicated) version number until a DRYer solution that works with ReadTheDocs can be found.