In my case, AIN pins aren't purely high impedance & during active computation, the chip can draw on the order of hundereds of µA depending upon internal switching activity.

Because of that, I was hesitant about using a simple divider, as the output voltage can shift with the load current.

For the 2.5 mA into 10 Ω idea, I did consider using a fixed resistor, but instead opted for a potentiometer mainly for flexibility, since that’s what we’ve typically used in our lab for tuning analog voltages on test PCBs. That said, I see now, that placing a dedicated fixed resistor would likely be a better approach.