license formalization (GPLv3)