Show HN: Retex, a Faster LaTeX Engine