grader-convert (pypi): Grader convert
Keywords: jupyterhub|jupyterlab-extension|nbgrader|python