Adobe gives Acrobat users new AI tools to help cut through contractual jargon and make summaries more effective.