There's also been some improvements to the editor tooling. Treesitter and Pygments can now highlight indexed families, effects, instances, handlers, and resumption grades, and the language server now has checked hovers, completions, rename, symbols, and target-aware diagnostics.
