As early as HDMI 2.0 spec IIRC but only some variants or models? Only up to 60Hz which is not as ideal as 120Hz VRR of HDMI 2.1How long has VRR been on TV's, maybe not at 4K but seems like a while now.
So I wouldn't be surprised that it's relatively common for the hardcore gamer for want of a better term.
Not common for general Joe though.
For the people that have it, it can make a big difference though.