The BinderHub Federation vs The mybinder.org Federation

[rgaiacs]

https://mybinder.readthedocs.io/en/latest/about/federation.html uses The BinderHub Federation and https://mybinder-sre.readthedocs.io/en/latest/operation_guide/federation.html uses The mybinder.org Federation.

[manics]

I think mybinder.org Federation makes more sense, since BinderHub is the application used by others outside the federation.