Report: Google TV budget has been cut prior to big Gemini debut

There have been so many variations of "[Google brand] + TV" that I had to look up what this particular business unit actually does.

Lo and behold I see this message on Wikipedia:

Not to be confused with Google TV (interface), Google TV (service), or Android TV. For other uses, see Google TV (disambiguation).