The README badge for the documentation is not updated anymore during a release

This needs fixing as the PyPI package badges are pointing to the "master" tip documentation.

mentioned in commit 94a7470a

mentioned in merge request !235 (merged)

closed via merge request !235 (merged)

mentioned in commit d996413d

mentioned in commit 7696f6fe

mentioned in issue bob#269 (closed)