After a few tries, I got through. Now I'm on the step where I need to Copy the 42383841.bin file from the output/clean/ folder of the downloaded DSiWare archive to the Nintendo 3DS/<ID0>/<32-character-id>/Nintendo DSiWare/ folder on your SD card.
But... where's the output/clean folder again...