or should the nRF52840-DK be used instead?
Yes it can - make sure the onboard segger is up to date (it does that pretty automatically)
How do I make sure of that?