@micheal @rothgar yeah i was looking for extensions in the new github dev stuff and didn't see them either. but sounds like that is part of the full (paid) codespaces instead along with terminal and copilot https://t.co/zulvwetcf3 https://t.co/0e8wcuh3em