I selected "All boards", but the nrf52840dk board is not listed. I have tried uninstalling and reinstalling the nRF Connect extensions in VS Code, but the nrf52840dk board is never listed. Should I give up and use another option to build and program this board?