Navigation headers can now contain arbitrary HTML