Reading through the docs, I see that the AUX pins can supply 5.3V if JP2 is bridged.
I was wondering what the max current output from the pins were? I was thinking of powering a Raspberry Pi 4B from these pins, unless someone knows of a better way of doing so.
F.Y.I. the RPi 4B requires 4.0V-5.5V 3A.