> I think Gmail seems to actually just keep that header rather than nuking it.

I think that's common among email providers.