I am wondering if people going to Texas are aware that the state attorney general filed a lawsuit to the Supreme Court arguing that democratic elections be over

I am wondering if people going to Texas are aware that the state attorney general filed a lawsuit to the Supreme Court arguing that democratic elections be overturned and Trump appointed king.