https://bugs.freedesktop.org/show_bug.cgi?id=107731
--- Comment #3 from L.S.S. ragnaros39216@yandex.com --- Forgot to mention this. Regardless of the circumstances, the EDID I got using "xrandr --prop" is identical to the one when the screen resolution is correct (4K@60Hz), so in my case, the monitor is always correctly identified, just that the resolutions aren't visible.