(1) ok.txt is main target; alltokens.pl forked once and for all
Tokenize unicode single quote the same way as ASCII apost