We should have version selection for documentation version, just like readthedocs do. A possibility is to use Mike: https://github.com/jimporter/mike