By the way I did add a pin table based on the Snickerdoodle schematic to github.
It is based on the Rev2 schematic, completely untested and the filename reflects that. But it is just a CSV table mapping Zynq PL-accessible pins to physical connector pins, verifying the contents or making adjustments should be easy for anyone to do (including me when I see the Rev3 schematic).