if @kde ever releases a song, it would be in the K-pop genre