Of the differences between the GPLv3 and the AGPLv3 texts: what to make of them? | Hacker News Reader