use zed agents to build the zed extensions you miss

FYI there is now an extension for TODO highlighting. Not at my machine but it’s something like “comments highlighter”.