Oops, I got really busy after writing that and didn't get around to it at all. Instead, I included this stuff in my changelog for Firefox 2.0 Alpha 3.