The nRF52840 UART example uses pins 1.13 and 1.14 for the TX and RX pins on the Dev Kit (uart_pca10056) and has a default baud rate of 115200, but the 1.13 and 1.14 pins are specified as low speed only. Is this a mistake in the example or the datasheet?