not very useful anymore, reference counting looks correct for now).
- The document dump contains the character position of the end-of-text
  mark.