Re: [PATCH v10 0/4] MR585: Improve is_gecko_path() for handling non-ASCII characters.