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