Open TheLostLambda opened 11 months ago
Oh, and the point is that this should make startup instantaneous after first load until a new version of PGFinder is released — makes things even quicker!
Maybe allow for PGFinder version selection: https://github.com/Mesnage-Org/pgfinder/pull/184
Check the PGFinder package version
then clear the cache if the cached version is older!
Otherwise find a way to save the whole loaded Pyodide runtime to local storage like JupyterLite manages?