To clarify, this is licensed under the GPL; the textbook is CC