Why are the ADPs of uber-bargains Bo Nix and Patrick Mahomes essentially unchanged since June?