The $900 one is the 12GB version, which is basically a 4070 compared to the 16GB version, because the memory is not the only difference, but also a different core count, memory bus size and clock speed, which is frankly even more insulting.
The "actual" 4080 16GB is $1200.