Check out https://gitlab.freedesktop.org/gdesmott/karapulse for a full Spotify Karaoke experience, this does use lyrics pulled from Spotify (via GStreamer's spotifylyricssrc and librespot).