If so maybe it means the Pi 6 is closer than I thought. I was guessing mid next year.
Really the weak spot of the PI has always been the GPU though. It's always been a generation behind even cheap phone GPUs. I live in hope one day it'll get the upgrade it needs. I definitely think that the way they have been building infrastructure they might be developing the capability to provide something awesome, one day.
I see only two possible paths for another GPU on RPis in the future: either Broadcom drops the VideoCore GPU and switches to Mali or Adreno (which I think is unlikely), or RPi stops using Broadcom SoCs and switches to something completely different. Still unlikely, but now that they have the RP1 chip taking over most of the I/O functions, it would not be too hard for them to change and still make boards that retain compatibility with existing hats.
Still, the RPi is made at a certain pricepoint, which very likely precludes putting in a flagship SoC, so even if they change, I'm not sure it will do wonders for GPU performance.