Quck'n'dirty solution for the 'overcache' problem with IE: Do not cache at all if <insert> is used. We should really fiddle with mtime here, but that's a lot more trouble that it's worth Rev: server/base_server/configuration.pike:1.307