Initial commit of history-tokens code.