Thanks for writing this! Agree with you about the startup time from experience so far with both. One difference I did find though: it seems GitPod supports collaboration (see /docs/configure/workspaces/collaboration on their website) but GitHub Workspaces doesn't (yet)?