jupyter-server-fileid (pypi): An extension that maintains file IDs for documents in a running Jupyter Server
Keywords: Extension|Jupyter|jupyter|jupyter-server|jupyter-server-extension