Overall, I am glad that this shift in direction is happening for Gitpod. They are still leading the CDE movement (IMO) and this gives them a better chance at continuing to do that. I don't want this space to collapse into just use codespaces, it's mediocre, but whatever because innovators businesses couldn't keep their products alive long-term. Official support just doesn't feel like it was ever a money-maker, nor is it something that the target audience would really use IMO, at least not now.