Yannick Guern developed TLA+ language support for the zed-industries/extensions repository, focusing on editor integration and extension development to streamline TLA+ workflows. He implemented syntax highlighting for TLA+ and TOML, enabling clearer code visualization and easier editing within the editor. Yannick also laid the foundation for cross-file navigation between TLA+ source files and their configuration counterparts, aiming to reduce context switching for users in future updates. While no major bugs were addressed during this period, his work emphasized code quality and extensibility, supporting faster onboarding and more consistent extension development practices for contributors working with TLA+ in the editor.