A JupyterLab gallery extension for presenting and downloading examples from remote repositories