Pin assignment on Seeeduino LoRaWAN

Seems like a basic thing but I haven’t been able to find it… is there any record of which of the Arduino pins are available for GPIO use on the Seeeduino LoRaWAN?

By scanning the schematics and lots of frustrating trial and error, here’s the list I’ve come up with so far. Is this right?

const int PIN_BATTERY_VOLTAGE   = A4;
const int PIN_CHARGE_STATUS     = A5;

const int PIN_LORA_RX           = 0;  //in-use
const int PIN_LORA_TX           = 1;  //in-use
const int PIN_LORA_RST          = 8;  //in-use?
const int PIN_LORA_DFU          = 9;  //in-use?
const int PIN_SS                = 10; //in-use?
const int PIN_MOSI              = 11; //in-use?
const int PIN_MISO              = 12; //in-use?
const int PIN_SCLK              = 13; //in-use?

//Defined in variant.h as PIN_LED
const int PIN_ONBOARD_LED       = 13; //on-board LED is on D13

https://github.com/Seeed-Studio/ArduinoCore-samd/blob/master/variants/arduino_zero/variant.h @heath612 That’s the right

It’s not clear to me how that header file shows which Arduino pins are occupied. For example there is no mention of the battery charger signals or the LoRa module signals. Is my reverse engineering effort the best there is?