Just for my own clarification, this is true as long as they don't also ship their server as a compiled binary right? If these servers were to distribute their programs they would have to release the source as GPL as well, right?