I just got myself one of these. Cute litlle things :P
I've initially flashed the nrf52832DK image and have been trying to get the pin assignments.
It's been only a few minutes and I've only so far found that D17 is the green LED, and D20 is the red LED. The button is at D13. and the buzzer is at D14
For board definitions I think just pasting them in the forum is fine (at least that's what I do, and where I look for others' board defs as well).