FF debug settings revisited