“The GOP’s big Texas gerrymander”