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