Pop is Dead at Karaoke??

So I’m in Japan right now and last night I went to a karaoke cafe place with my friends, and just for fun I typed in Radiohead to see if they had any songs by them. They had like 40 something which really surprised me, but one of them was pop is dead, which I was like “they have this here??” Was pop is dead a popular single in Japan? I know Radiohead has kinda tried to scrub it off Spotify cause I know they don’t like the song themselves and they removed the music video off of YouTube. But it just really surprised me they included that song out of all the other random obscure songs they have in their discography.