Bah, got distracted by something else, and forgot to write the bit that made me want to reply in the first place. :-P I meant to say that I think this is small enough to not be legally significant and so it can go in before the copyright assignment is in place. Feel free to push it in. Thanks, -- Pedro Alves