ExtendGP is dead . . . long live GP!