I bought a new USB Type-C to HDMI adapter, since I misplaced my original one. I was hoping this was going to finally allow me to use HDMI and not DisplayPort. Sadly... it doesn't. So it looks like I'll be rocking DisplayPort on my main PC. Unless there is DisplayPort that is faster, I'll stay with my old .onn DisplayPort to HDMI cable.
I'm told DisplayPort has better bandwidth and specifications over HDMI, but the DisplayPort to HDMI cable I use is slightly slower than what my PC monitor shows. Maybe I'll need to find a better cable or a decent adapter.