On Fri, Aug 21, 2020 at 06:04:39PM +0200, Tobias Geerinckx-Rice via Bug reports for GNU Guix wrote:
> The list of operating systems in GNOME Boxes' ‘Create a Virtual Machine’ &
> ‘Operating System Download’ menus has the same potential problems that
> GNUtoo describes here[0].

Thanks! Can anyone offer a patch to fix this?