Oh this makes sense! Obviously, it can't be illegal for a non-forum-member to add HDMI support; it's just an HDMI forum policy after all, not law. That's certainly the link I was missing for this to make sense.