Jupyter Server extension providing an implementation of the File ID service