https://guid.cam/tech/terrance/best-cross-platform-latex-editors/