The Hack and HHVM manual and documentation