They are sure the license says that.

It only controls the trademark anyway no different from firefox or anything else with a trademarked name.

Anyone else can do anything else the gpl allows with the software, just under some other name.