Re: [Kimchi-devel] [PATCH] [Wok] Remove unnecessary IDs from navbar