This is confirmed by the fact that the pin numbering on the Arduino schematic matches the pin numbering on the datasheet. In fact, even the label names partially match but the GPIO numbering is ...