Hmm. I could have lrctool auto-generate filenames for the output LRC files, but that only helps if people are using lrctool to export their lyrics from the MP3. If people have track numbers and album names in their MP3's, I could have lrctool add those to the filename (or even the top of the LRC file) as well. Not sure how much this helps the situation, but if everyone tells me what would help them out, as long as it's doable, I'll do it.

On a side note, I think I need to use the word 'exigent' more in my daily life.