I agree, but the problem we (enthusiasts) are in currently is we still have no 100% concrete confirmation of the TF number for either console being "GCN flops" or "RDNA flops". And no, Phil Spencer retweeting a link to an article that at one point speculates it could be RDNA flops doesn't count as a company confirming it. If it was so, they would say so. They would have already said it. You're right though in that it's at least supposedly confirmed as being higher than Stadia's 10.7.
I think the safer route is to just do the standard "how many flops" math of clockspeed x CU's x whatever to get the number, and then confirm what architecture. If it's GCN, then the number is what it is. If it's an RDNA or RDNA 2 chip, then we inflate that number because apparently the bare math doesn't tell the whole story.
tl;dr only MS is in the position of "marketing" their new box yet, and even they haven't come out and declared X number of TF's and which metric (GCN or RDNA) we should be applying to said number. So since a leak is just bare data on paper, that's not enough information to go by, and Sony isn't even in the marketing mode for PS5 yet, so the perception of that number doesn't matter to them. When they're finally in that "Tease n Talk" mode they may surprise us and either say "it is 9.2TF but it's RDNA, so technically that makes it 12TF RDNA" or something, or they could say yeah, the 9.2TF is in RDNA flops, or hell, they could tell us those are old numbers or from a test box and they have a completely different speed and CU setup now. Who knows.
(sorry for the rant)