Funny how redistricting/gerrymandering to benefit Democrats is OK but not OK for Republicans, isn’t it?