HHVM export, doc update