chiark / gitweb /
Tokenizer no longer keeps copy of every token