remote: error: Trace: f8602ecbf4cd6ff61659cb359aea8b5dace0c66ab64cb9f69dee0ffcb4b8190f
remote: error: See https://gh.io/lfs for more information.
remote: error: File dev/search_index.js is 212.94 MB; this exceeds GitHub's file size limit of 100.00 MB
remote: error: GH001: Large files detected. You may want to try Git Large File Storage - https://git-lfs.github.com./
Current doc total size is 213 MB:
Maybe this can help: https://fredrikekre.github.io/Literate.jl/v2/tips/#notebook-filesize