Looks good to me. I did have an issue on Intel where the EDID from a [Newer Technology HDMI dummy plug](https://eshop.macsales.com/item/NewerTech/ADP4KHEAD/?srsltid=AfmBOoonFmzDmHI...) had all zeroes for vendor/model/serial number, but the CGDisplay*Number functions were returning non-zeroes so `get_edid_from_io_display_edid()` didn't consider it a match. Not a huge issue though, since it'll fall back to generating the EDID.