PA5/AN4/VREF can be configured to do at least 3 different things. That's why it has 3 names. From the outside, it is impossible to tell what it is configured as.
Most likely it is an analog input, but they could be doing something clever by operating it in its VREF mode.