Re: [Kimchi-devel] [PATCH 4/6] Update Kimchi to use the installed spice-html5