The Rolling Stone article had much more than the ridiculous bot claim. It also supplied things that happened behind the scenes with the Snyder Cut being finished, and one of the things mentioned was how WB didn’t want Martian Manhunter to be utilized, but Jasin Kilar approved Zack Snyder to use the character.