Since Avahi is working only part of the time, it would be nice to implement https://github.com/uyuni-project/uyuni/wiki/Libvirt-DNS-and-DHCP-without-Avahi into a default libvirt network. This would help newcomers to get rid of the DNS issues. The generated NAT network should be prefixed with the machine's prefix to avoid hijacking other networks.