Processing two-colour printed manuals - was Re: Too many DEC binders