Oh, check out Wavman, while you're at it. It's a cool random music app that plays stuff from nostr:npub1yfg0d955c2jrj2080ew7pa4xrtj7x7s7umt28wh0zurwmxgpyj9shwv6vg https://www.wavman.app/