This is LGPL3+. I'm a bit fuzzier on that, but I believe it's also ok. @jtauber, @nedbat: Can one of you confirm?