ADC input on Enviro+

I have an Envrio+ HAT and wonder if the ADC pad on the top could be used for measuring an external voltage? The schematic shows a multiplex for 4 inputs and 3 are used by the gas sensor.

I am making a monitor for a small trailer, and would like to monitor the 12V battery charge.
The plan was to connect a voltage divider to 3.3v (with over voltage protection).
And measure that with ADC input. Not sure how to get at through the adc in the library.

This may help,
ADS1015 +/-24V ADC breakout (pimoroni.com)

pimoroni/ads1015-python: Python library for the Pimoroni ADS1015 breakout (github.com)

And looking here I see
Enviro Plus at Raspberry Pi GPIO Pinout

  • 0x49: ADS1015
    The breakout uses 0x48 for its i2c address so you will need to edit the code to use 0x49, to use the one on the Enviro+