This page has moved to https://2i2c.org/blog/jupyterhub-groups-exporter/.