Have any of you used Gnome Boxes? I’ve been hearing good things about it. I’ve used VirtualBox before and found it fine, but I’m interested in pros and cons.