Hey! Just a short question: I've tried to find out the right bank and pinnuber of one of the GPIO Pins but with no success. In the api I can find some functions to set pins and so on but I just need a listing of pins at the Board and their bank and pinnumber. Thanks!