Audio syncing and highlighting of songs with choruses

Hi all,
I readily admit that it may be my poor memory (getting older, you know…) but I seem to remember seeing someone demo a songs app where the songs had choruses, and the audio highlighting would jump back to the chorus between verses. In other words, the song was written with the chorus only appearing once, in this form: v1, chorus, v2, v3 etc. but as the audio played it would highlight v1, chorus, v2, chorus…jumping back to the chorus each time. The only way I can imagine doing this is to edit the timing file by hand. Am I imagining things, or is this possible to do?
Right now I’m just displaying v1, chorus, v2 chorus etc.
Thanks,
Andrew

The only way I can imagine doing this is to edit the timing file by hand.

Yes, that’s the only way to do it!

Yes, you would repeat the same letters used in the chorus.

But digital text is cheap! Copy the chorus and paste it in every place it’s sung. Someone let me know if they see it differently, but it seems like it would be disorientating to have the highlighting jump up and down like that- especially if the whole song doesn’t fit on one screen.