My de10 nano arrived. It turns out the heat sink I ordered with it does not have an adhesive backing, so I haven’t attached it. Should have read the listing more closely, I guess. The fan I managed to get working despite some spectacularly bad crimping and accidentally ordering headers with extra plastic on them that I had to cut off. It’s a bit louder than I expected, I may wind up connecting it to 3.3v instead of 5. Actually, I just picked it up and it got way quieter, so maybe I just need to pad it somehow.
I plugged it in and at first all I got was a blank screen. I was a little afraid to fiddle with it because I'd put an installer thing on the SD and I wasn't sure if it would be doing something so I didn't want to turn it off. A little push on the HDMI cable got me a picture, which was just static. I hit F12 on my wireless keyboard, which brought up the cores menu (with no cores) and also demonstrated that my wireless keyboard was working with it. I got a bit stuck there for a while because all the guides I could find were saying "Hit F12 to bring up the menu, then go to scripts for the updater script" and I couldn't find a way to get to scripts. Eventually I figured out that I needed to hit F12 a second time to reach the main menu and was able to run the script. And that's where I am now.
Hopefully I'll be able to at least run a game on this thing tonight sometime.