README update: Fixes in binder links & documentation badge
Passed
Martin Bauer
created pipeline for commit
f6ef4d88
, finished
For master
5 minutes 2 seconds, queued for 13 seconds