Does the ADC produce load on the AREF pins when external reference voltage is used?

Hello we have a more stable external reference voltage source than the VBG for the ADC we want to use.

The voltage itself is higher than the allowed reference voltage specified for the AREF pins, thus we want to use a voltage divider to lower the voltage accordingly.

The question is if the ADC draws a current through the AREF pins during operation which would put load on the voltage divider and might distort our measurement.

Do we need to take such a behavior into account or can we assume a high impedance on the AREF pins at all times if used as external reference voltage?

In the reference manual and the product specification I could only find this information for the AIN* pins.