Funny coincidence, that the guy who originally cracked the xbox 1 DRM also implemented a way to overlay graphics on a HDMI HDCP-encrypted stream without decrypting the source video (and thus claiming to be non-infringing of the copy protection)

http://www.bunniestudios.com/blog/?p=2117