Assegnate 4 su 5 stelle

Tools / Live HTTP Headers work, but Tools / Page Info / Headers was broken probably by https://hg.mozilla.org/mozilla-central/rev/b32f21db299c (gDocument was removed). I hope someone will fix it.