jupyter-server-parameters (pypi): Jupyter Server Extension to handle arbitrary URL parameter
Keywords: binder|jupyter|parameters|jupyter-server|server-extension