Microsoft Dev Box è ora generalmente disponibile per le workstation degli sviluppatori basate su cloud