Understood.
At least for the local provider you could get that info during the scan process, right?
For the rest of the cases/providers, what about marking them as “has lyrics” when they are loaded into the player? That might work as a partial solution. Although that might cause confusion to users if they want to use that filter ha.