I finally installed a TeX language server thing. Even though it's nothing compared to language servers for e.g. C++, Rust, or whatever, it's still an immense improvement in terms of quality of life:
Honestly, I wanted to type out some kind of list that shows what the killer features are, but the only two things I could come up with are:
Still, much better living conditions. :')
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.