The request trace should be reasonably high level since it also is intended for end users. Rev: server/base_server/configuration.pike:1.464