Move definition of 'GPL' to section 5.