rework the post-processing, again.
Fix up documentation just a bit
remove more dead code
Fix for memleak in dictionary alloc
Minor cleanup
Fix memleak in dictionary read
fix badly scoped macro INFIX_MARK