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.
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.