nostr:npub1dm5seg0ukscz6zvhrfe6497ka2xdsqwt57nfnvuxu9pxkv25sngsdw5sqe there are some good themes at https://www.rg35xx.com/en/customization/garlicos-themes/ some of which label the consoles. When I got these for my niece and nephew I loaded themes with the console logos rather than controllers.