Sony have to have a PS5pro in development or at least have an idea of how they would produce one, if needed.
Why? Because last gen MIcrosoft released the 1x, which is genuinely a good console, but it wasn't a 'pro' model of the Xbone, it was a new generation. All it had in common was the CPU where as everything else had a serious boost or changed completely (RAM).
If Microsoft do the same this gen and Sony don't release a Pro, by 2024 - when PS5 would have sold lots and lots of units, a new, super high-end Xbox has the potential to sell a lot of units to the hardcore crowd. The 1X had a significant increase in specs vs Xbox 1, if the same were to happen and a Series X 'X' were to have a significant jump over the Series X, we could be looking at 3080 levels of GPU.
As an aside, whoever is responsible for naming Xbox consoles needs to slapped with a fish on the edge of a canal.