Nick's patch for displaying Face-formatted pictures in the header that has been
tested and lingering for a long time and keeps getting lost.
Ingo approved this a long time ago.

Thanks for the patch Nick, and apologies for the many delays.