The Signal Android app is AGPL licensed. What should the lawsuit be about?