It's about vendors hiding the information about FRL speeds of HDMI ports on any device. They tell us "HDMI 2.1" or "4K/120", but they really do not tell us anything about FRL. Apart from several TVs and monitors, new consoles, Ampere and RDNA2 GPUs and several AVRs, none of devices on the market support FRL over HDMI. And those that can do FRL speeds have vastly different implementations, anything from 24 Gbps (Gigabyte monitor), 32 Gbps (PS5), 40 Gbps (XboxSX, AMD RDNA2, AVRs, TVs) and 48 Gbps (Ampere, LG 9 and 2, etc.). It's a mess out there...
For this HyperMobile USB4 dock to transmit FRL signal over HDMI port, there needs to be a separate converter chip DP-HDMI between the main SoC and HDMI port. There is no such chip in this device. The only currently available DP-HDMI FRL converter chip on the market is from Parade Tech PS196. This chip can output up to 12 Gbps per lane, meaning up to 48 Gbps on HDMI port.
The simple fact is, if there is no explicit information about FRL in any spec, that HDMI port is 2.0.