speaking only for myself - yes. More work, but sufficient.

The problem is that with a midi alone there is still the problem of how the lyric fits the tune - and that is not always obvious. embedded lyrics as Joe mentioned above have the problem that there is not a universal standard.

I personally prefer an abc with synchronized lyrics to a midi with embedded lyrics; but that is a personal preference.