"And there's another HTTP header 'Refresh: 5; http://www.example.com/'"
That's not a standard, though, is it?
Yes, it's part of the HTTP standard.
Well, it's not in my reading of HTTP/1.1...
OTOH, I'm probably more anal about this than strictly necessary. Due, no doubt, to hanging around ciwah too long [see, for example, Alan Flavell passim] and hearing from people who like to say what's standard and what isn't. Still, it bugs me a little. It's like saying <marquee> is standard HTML or something, or that — is the entity for an em dash.
Read my lips, people: THE REFRESH: HEADER IS NOT STANDARD HTTP. No matter how hard you say so.
Update 2: "It's in the big book [Java Servlet Programming] on page 145, and in the O'Reilly HTTP Pocket Reference. It doesn't explicitly talk about standards compliance, but I don't think that completely proprietary things would be in there." And indeed... the ORA book on servlets says, "Client-Pull-Informationen werden mit Hilfe des HTTP-Headers Refresh an den Client gesendet." ("Client pull information is sent to the client by means of the HTTP Refresh header."). Ptui! Bad ORA editor! Letting nonstandard stuff through without saying a word about it!
Update 3: It's not in Clinton Wong's HTTP Pocket Reference, thank goodness.
Final update: I should probably stop now until I'm rational again; I'm getting too worked up about things. *fx:bites tongue*