Some more expirments with github-fs
Github-fs: cache limiting and prefetching.
Merge branch 'dev' of github.com:scripted-editor/scripted into dev