fix firefox header badness, and stub out history management