Hacker News Reader

Note that this doesn't use Spotify's own time synced lyrics, it pulls them from https://lrclib.net/

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).

A small nit: They're not "Spotify's own time synced lyrics", they use a 3rd party (Musixmatch) to provide them in their UI. https://about.musixmatch.com/business/features