That way, right below the docs version number that is currently being displayed, it is easier to find for users. Also: hide the default readthedocs-flyout (bottom right) Co-authored-by: Junie <junie@jetbrains.com>
