Yup, DSP dumped (a long time ago, back in 2018, I believe). As I said, I consider myself a somewhat advanced user and this is the 1st time I encounter such a "brick wall" issue.
I use my New3DS as an emulation center of sorts, ie. I've installed about all the emulators available at some point...