Thanks. Is this the right guide to add Qubes to an existing Ubuntu desktop with UEFI boot, for some fun Christmas project: