detokenization implemented as a filter
detokenization moved to the filter file