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 Cricket/Aio (Beanstalk
4.4.4 with hells-Core Kernel
Current Work Phone: LG G2 VS980 on VZW (Official Beanstalk
Current Tablet: iPad 4 and Samsung Galaxy Note Pro 12.2
Other phones "in the family": HTC DNA, HTC One (M7), Motorola Moto G GPE
Previous/Retired Android Devices: HTC Aria, HTC Incredible 2, HTC Rezound, Samsung Stratosphere, Samsung Galaxy S2 Skyrocket, Nextbook 8P