I can confirm this. You have the latest version but for which version?!?
I found a reference about version here but is for old version (7.2.1511-beta1).
Yesterday I splitted the docs sources: the admin manual is still in docs repo, whilst the developer manual is now under the dev repository.
The reason to do it is to avoid triggering unnecessary builds in readthedocs (for community) and Travis (for Enterprise), as each commit affects either dev or admin manual.
The issue arose by the lack of a v7 branch in the dev repository.
I’m considering to move the hosting to a VPS and run builds with Travis also for community because we have free hands to maintain redirects from old contents.