A side question: is there anything licensed AGPL that AWS uses? Either AWS releases the code or found a way around the license?