Ok, we actually have two copies of the gpl license text - one at the top level (LICENSE.txt) and one under lib/licenses/gpl.txt ...