HDBaseT 3.0 is 18Gbps = 4K non HDR 4:4:4 60Hz _ or _ 4K HDR 4:2:0 60Hz

A 4K HDR(12bit) 4:4:4 signal can go up to 24Gbps (48Gbps@120Hz). So it "IS" compressed if you are using a high quality source.

The facts are out there...

[edit]:
Note: As of right now, the only devices that have HDMI 2.1 outputs (capable of 24Gbps or greater) are game consoles (PS5, XBOX). As usual CE source companies are lagging far behind the industry, as most TVs these days support HDMI 2.1 with several supporting the full bandwidth on there inputs.

In the next few years we will most likely see Roku, Apple, and others come out with devices offering HDMI 2.1 on the outputs. As services like Netflix, Amazon, Disney, etc. bring higher bandwidth content available. The need to finally move to Gigabit ethernet over the 100Base/T they have been using forever, will probably happen then too.
Then again, that might take another 10+ years. As long as they can milk it without upgrading - meaning their competitors don't ever make the move 1st.