OK, I didn't hold my breath.
I have forwarded our conversation to support@crintsoft.com twice (2018-12-14 and 2019-06-06) and asked for their comment on this issue, but they never responded.
As a workaround, I just keep using VLC 2.2.6 and hope VLC v4.0 will have a lyrics feature.