Bring back Prof. Lion
Merge branch 'master' of github.com:sharelatex/web-sharelatex