In general, HDMI does not work except in stock(ish) Sense-based ROMs. It is just an accepted fact, that is why it probably wasn't specifically mentioned.
Sent from my Nexus 4 using Tapatalk
XDA Developers was founded by developers, for developers. It is now a valuable resource for people who want to make the most of their mobile devices, from customizing the look and feel to adding new functionality.
Are you a developer?
Copyright © xda-developers. Hosted by Leaseweb