[Kimchi-devel] [PATCH 0/6] Use installed spice-html5 package when possible