So I was forced to format by DSTT micro SD card (Never boot your computer with the SD card in, in the off chance that it runs scandisk on it for no reason), and I stupidly never saved the zip file from the www.ndstt.com website (English).

Now, unfortunately, the website seems to be down and I need to get my game on, so I was wondering if I could be pointed to an alternate DL source for the cart's firmware (or menu system I dunno which one to file it under).

Thank you very much for any help.