Sounds about right, Flipper Devices just released the Video Game Module which has a very recognisable port that is never referred to by it's more common name anywhere.

Of course, they don't do HDMI 2.1 or anything advanced like that, but I guess the reason for the name not appearing anywhere is the same as you're discussing here.