>Use the AGPL for server code, the GPL for tools and the LGPL for libraries.

If we are doing it for ideological reasons why not go all in and use AGPLv3 for everything, including libraries? It also has the added benefit that big corporations will not use your code.