This link gives me a "Binder inaccessible" error, FWIW.
>Is this a Binder that you created?
>If so, your authentication cookie for this Binder has been deleted or expired. You can launch a new Binder for this repo by clicking here.
> Did someone give you this Binder link?
>If so, the link is outdated or incorrect. Recheck the link for typos or ask the person who gave you the link for an updated link. A shareable Binder link should look like https://mybinder.org.
That is the right link. Unfortunately we haven't yet found a good UX solution to people sharing the "wrong" link which only works for their personal instance.