Even better, the HDMI encryption system was made to handle that leak - rather than have one key, each manufacturer would have one key and then they disable any

Even better, the HDMI encryption system was made to handle that leak - rather than have one key, each manufacturer would have one key and then they disable any leaked keys. Worked wonderfully, until somebody posted the master key matrix...