Modifying an HDMI dummy plug's EDID using a Raspberry Pi | Hacker News Reader