GPL-thing

If I got the idea behind GPL right, I've done it ok. So this commit is
mainly for GPL-related stuff.