It's not GPL. They commercially license it if needed, but my understanding was that Opera is open source and would be compatible with the license on it.