Does anyone have a proposed set of principles for what might be available in a HTTP header and what might not? Or how header fields might affect or be affected by proxies or caches or robots or ...