javascript: filter all nonascii letters from identifiers