Stale files that are not in _CoqProject
I noted theories/examples/snapshot.v is not in the _CoqProject file. Such files should either be removed or added to the _CoqProject.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information