Update docs badge
Merge pull request #3057 from rrrene/patch-2

Update docs badge

[ci skip]