Re: [Kimchi-devel] [PATCH V3] [Wok 0/2] Issue #12: wokd start fails if plugin does not have ui/config/tab-ext.xml