Remember, remember, the 15th of November... as Playstation 4 un-boxing day!
After an exhaustive search through the box, we discovered to our delight that Sony has thrown in an HDMI cable, which they skimped out on when I un-boxed my old PS3. Of course, now I don't need it, because I bought one for my PS3. Thanks, Obama.
Here is a thoroughly annotated photo of the contents:
Can't wait to get it home to play.