The production version of typeset.io under construction