Binder.pangeo.io shut down due to crypto mining

Details here.

This is a very unfortunate situation.