Texifier is incredible. So much faster and nicer than overleaf. They wrote their own display engine in Metal if I understand correctly.