Another rework of the readthedocs files