Just notting this down. So starting from F42 images we could take out the rpms for the qemu/libvirt stuff and put the flatpak for virt-manager and qemu extension.