Pysense Output pins

[Iplooky]

Hello,

I want to add one analogic external sensor on pysense and I've inspected the general pinout scheme (image atached)

As seen I can use the following pins: P2,P9,P10,P11,P4 and P8. The problem is:
in the documentation (https://docs.pycom.io/chapter/firmwareapi/pycom/machine/ADC.html) it says that valid ADC pins are from P13 to P20.
In this case I can't simply connect on the external IO header and I need to connect it with fludor in P13 (for example). Isn't there a more practical way?

Thanks