I completely agree that the latest iPad Pro is a powerful device that can handle development tasks with ease, but I'd like to offer a few points of consideration:

1- While VDIs can be useful options for remote development, I have found that the user experience can be negatively affected by lag or other performance issues.

2- I would not consider Cloud9 to be a recommended solution, as it might be considered outdated compared to newer solutions.

3- While Codespaces could be an alternative solution, it does not offer the same level of security as other options like VDIs.

One alternative that I would suggest exploring is the use of secure containerized environments (CDEs), such as those offered by Strong Network (https://strong.network/). I work there myself, so I may be biased. But from my experience, these environments offer a more secure and stable environment for development work, without the potential lag and other issues that can come up with VDIs or other web-based IDEs.

Of course, the choice of tool ultimately depends on your specific needs and preferences. If you're looking for personal use, GitPod handles things very well. And if you prefer to stay within the GitHub ecosystem, then Codespaces may be the way to go.

Hope that helps!