According to this [thread](https://www.raspberrypi.org/forums/viewtopic.php?t=194262), on the Raspberry Pi Zero the Activity LED is on GPIO Pin 47. I am looking at \Raspberry.IO.GeneralPurpose\ConnectorPin.cs and I don't see an enumeration for Pin 47. Am I looking in the wrong place?
