Change license to GPLv3+; refine library headers.