I don't use this extension, but I just looked at the xpi and crx versions and they are both just javascript, and I didn't find any license mentioned anywhere. So if you believe djb, you can distribute the source + patches until the author explicitly states otherwise.