I think it’s okay, I made a comment about the license first! It’s good discussion. I certainly like everything being copyleft, but I also get why people who make a contribution (an extension or otherwise) might want to license it differently. Ultimately whoever does the work gets to decide on the license — closed source I’ll never touch, extension or otherwise, but I’m lenient on open source.