During May 2025, Mikal Sande developed two features across the zed-industries/zed and zed-industries/extensions repositories, focusing on extension development and backend improvements using Rust and TOML. He implemented Markdown formatting for diagnostic messages in the GoLspAdapter, enhancing readability by removing leading whitespace and ensuring clear display in the user interface. Additionally, Mikal introduced support for the Tact programming language by integrating a new extension and configuring its tooling, broadening language support for developers. His work established a foundation for consistent diagnostics rendering and streamlined onboarding, reflecting a thoughtful approach to maintainability and developer experience, though no bugs were addressed.