This entails removing book-like parts of gpl-lgpl.tex, moving some of it into this new toplevel file, and some other formatting and related changes.