Today I flashed one of my ESP32s with the espurino firmware. I am limping along and seeing signs of life. I don't see an ESP32 board.json file in the default directory. Should I be pointing somewhere else? My question is, how do I reference my pins? GPIO12, GPIO_12, PIN12?