Please explain the problem here http://tech.microbit.org/hardware/edgeconnector_ds/pinmap.csv is not available --- https://github.com/microbit-foundation/dev-docs/blob/master/hardware/pinmap.csv