Hello Steven,
I think the ability to skip playback via hotkeys while editing lyrics is pretty much crucial to the flow of typing the lyrics / synchronizing them.
Right now those skip playback hotkeys, that I even set to global, don't work while editing lyrics.
Thank you very much,
imminiman