Google removed the part with the Dimensity Flagship 5G within Samsung phones. However, you can still see that version in Webarchive. Also they explicity mentioned Dimensity Flagship 5G. This 9000 series is currently not in use in any samsung smartphones (tablets exluded). So yeah, they were talking about the S25. Sad.
Google may have inadvertently revealed a key component of the Samsung Galaxy S25. A blog post listing references Samsung mobile phones powered by a flagship MediaTek chip, tacitly suggesting the Galaxy S25 could be powered by a Dimensity 9400.