GitHub repository: kevin-bates/jupyter_server_fileid
Primary language: Python
Description: An extension that maintains file IDs for documents in a running Jupyter Server