This is BSD licensed, so should be ok. @jtauber, @nedbat: Can you make that official?