Oh, I thought someone was (at great personal risk) going to put up a site to have pre-made sets of time-tagged lyrics. Then we could just open up a tag editor and paste the whole thing in place at once.