Barrapunto

Pues sí.
No lo había llegado a pensar.

Aunque eso tiene chicha para un artículo entero.

Este sería más o menos la situación que planteas:

El código AJAX generado deberá ser considerado obra derivada del código generador (lo que fuere que corra en el servidor, obviamente)... ese código generador (supongamos que) está bajo GPL, y no está bajo obligación de distribuir los fuentes porque no se distibuye el mismo código...

Lo que sí estamos distribuyendo, sin embargo, es código derivado de ese código, peor en este caso con una licencia arbitraria (creo que el javascript de Gmail tiene licencia propietaria).