So now both Redis and Elastic are open source again, under the AGPL. Yay! When we teach folks how to do this in the future, we need to start by explaining how copyleft can work for a business. In both these cases, they're using copyright assignment to ensure they don't have to abide by the AGPL.