Re: [Kimchi-devel] [PATCH] [Wok] Issue #41: encode of ident should only happen if it is of type unicode.