Initial import of ShareLatex stuff.