[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"story-settings":3,"story:2023-6-12-alabama-names-rob-vaughn-head-baseball-coach-undefined":4},null,"47625:\u002Fnews\u002F2023\u002F6\u002F12\u002Falabama-names-rob-vaughn-head-baseball-coach"]