Fix wrong version references in docbook

There are few oversights in the version references in the docbook. In particular, some versions keep on being automatically updated when tagging a release...