First off, they might be inserted just to be sure, but it is remarkable. A HP OEM GeForce driver designates two graphics cards, the GeForce RTX 30 GA102 GPUs include alternatives in the name of RTX ... HP OEM Driver Lists GeForce RTX 3080 Ti, RTX 3070 Ti, and RTX 3080 Variants
GPU shortage may be nearing its end. Let's hope that in past few months nVidia binned enough of GPUs for mentioned cards.
Let's assume this is going to be right, then the 3090 will still remain the top tier meaning the 3080 Ti will remain between the 3080 and 3090 performance-wise?
That's assuming that manufacturers ever intended for them to go back to normal. The 2080Ti never did.