What open source license does GameShell default theme and the DEOT theme have? Can I port themes on GameShell to other retro handhelds OS like muOS? https://muos.dev/
This repo has GPLv3 but I don’t think themes are inside the repo, at least I can’t find them.