Is Typst getting some traction recently?