https://guid.cam/tech/terrance/best-latex-editors-for-linux/