Or how about the fact that 4k only works at 30fps over HDMI, but it works fine over DisplayPort or Thunderbolt3

Blame HDMI forum for that. They objected to AMD releasing open source driver for HDMI 2.0+ that lets you do higher modes like 4k60 or 5k etc due to patent reasons. DisplayPort folks on the other hand, had no objections. DP is quite a superior technology too, so if you could, use it instead of HDMI please.

Thanks for the response!

Thanks! At least I know what to search for now!

I stand corrected, fellow Lemmings :D

Precisely my thought!