The MicroBit has a one serial port that's connected to the interface chip - but those pins aren't exposed to the user, so aren't marked on that page.
However the nRF51 is pretty cool in that you can remap pins anywhere. You should be able to use Serial1.setup(9600, { tx: .., rx : .. }) to re-map it - but then obviously you can't communicate with the micro:bit except via BLE.
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.
The MicroBit has a one serial port that's connected to the interface chip - but those pins aren't exposed to the user, so aren't marked on that page.
However the nRF51 is pretty cool in that you can remap pins anywhere. You should be able to use
Serial1.setup(9600, { tx: .., rx : .. })
to re-map it - but then obviously you can't communicate with the micro:bit except via BLE.