A Girder content manager for Jupyter - View it on GitHub