MySQL has a GPL license (not AGPL) so I think they can modify and not distribute the source as long as they provide a service and not binaries.