dependency on mathbin
Currently we are depending on https://github.com/gerw/mathbin and that's nowhere mentioned.
I haven't understood all dependencies, but it sould either be mentioned or become a subrepo.
Even better would be to redo for example the mathscinet, either in python or in shell to eventually get rid of the dependency on perl, if possible. What are other scripts that depend on mathbin? Is it reasonable to reimplement them here (in python) or better to have the subrepo?
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information