Commit everything from sharelatex. Needs final pass.