update documentation according to Resolver changes