The names are the names that the chip manufacturer gives to them. If you were writing C code you might have to worry about which port they were on a bit, but Espruino handles all of that so all you need to do is look at the board reference that @ltj posted up.
Espruino is a JavaScript interpreter for low-power Microcontrollers. This site is both a support community for Espruino and a place to share what you are working on.
@ltj: Thanks! That pretty much sums it up :)
The names are the names that the chip manufacturer gives to them. If you were writing C code you might have to worry about which port they were on a bit, but Espruino handles all of that so all you need to do is look at the board reference that @ltj posted up.