Where can one find the wiring for the Wifi module to the STM32F4 Discovery main board? The User Manual v1.5 clearly shows two of the pins required, but vaguely refers to the other two pins as RXD and TXD, seemingly on the J6 connector. Which pins of J6 provide RXD and TXD for the Murata SN8200 module?