Then you chose right! Regarding Ubuntu I have been using it for work VMs and it’s adequate, my current annoyance is that you can’t easily change the UI colours to distinguish different projects, because it’s not the “Ubuntu way”, maybe I’ll find a hack.