Adapt to change in toks replacing "UNKNOWN" with the generic "IDENTIFIER" tag.
Fix a minor issue in back/forward navigation that would cause it to record the same position twice in the history