hi all,a customer does have the reader extension server version 7.2. and wants to know more details about the difference to the actual version of the reader extension server ES2. we do not have any experience with the version 7.2., so does anybody know where to get documentation about the version 72...