The pinout for the nRF52840 has the NFC pins D14 and D15 also labeled as RX1 and TX1, so presumably they can be used as general GPIO ?
I am using the SEEEED NRF52 Boards Arduino core, 1.1.10.
How do I set the D14 and D15 pins as GPIO, if I blink them nothing happens.