Re: [Kimchi-devel] Issue #704: page refreshing in Wok when no plugins installed