Do we have any recommendations for how to run the CDK in a VDI (https://en.wikipedia.org/wiki/Desktop_virtualization#Virtual_desktop_infrastructure) set up - where thousands of developers connect to servers and run virtual desktops. In particular, I'm thinking about the nested virtualization performance hit. Thoughts?