Binder environment of the User Guide
This is a separate repository for the user guide environment in an attempt to speed up Binder builds.
Please see https://discourse.jupyter.org/t/tip-speed-up-binder-launches-by-pulling-github-content-in-a-binder-link-with-nbgitpuller/922 for more.