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
Current Personal Phone: Google Nexus 4 on AT&T (KitKat 4.4.2 KOT49H/GoPhone)
Current Work Phone: LG G2 VS980 on VZW (Beanstalk 4.4.2-247
Current Tablet: iPad 4 and Nextbook 8 Premium with marxo's N8+ ROM - Revision 1b2 (ICS 4.0.4)
Previous/Retired Android Devices: HTC Aria, HTC Incredible 2, Samsung Stratosphere, HTC Rezound, Samsung Galaxy S2 Skyrocket