Additionally, there are homebrew communities and indie games that are legal to distribute. Maybe suggest platforms like itch.io for indie DS games if they're into non-commercial or smaller titles. This gives the user a constructive path without violating any policies.