$699 in 2015 (when the 1080 was new) is ~$975 today, adjusted for inflation.
$975 is pretty close to the launch MSRP of a 5080, which is "just" $999. (We can't actually buy them for $999, of course, but we couldn't usually get 1080 cards at MSRP during the mining frenzy a decade ago either.)
Whereas today, with the 5000 series in the market for quite a while already, a 4080 is still well over MSRP
You could say that there was Titan but in practice they were not seriously considered. At least for gaming.