4k 144Hz no longer available after upgrade to Big Sur | Hacker News Reader