Text this: Change of judicial districts in Oklahoma.