Binder seems to fail at the moment (thanks to Ammo for raising this issue on Discord), seems like one of the dependencies installations goes wrong.

Perhaps we should add Binder to our CI to check if it builds (see #196).