I think it's likely the device. I've screwed around with it a bit, and every
other program I can find shows them the same way on the VGA display, but warm
(really warm! <g>…) on the composite NTSC output. The signal is provided by
an "Averykey" VGA -=> NTSC converter – an el-cheapo, I'll admit. I think I've
found my way around that, although I'd sure like to know if there *is* a way to
'globally' force color correction in 3DS itself – is there?