BTW, I'm very, very nearly certain that this add-on doesn't come with the Firefox provided with Ubuntu 12.10.

I guess it's a hangover from your Firefox profile. I really wouldn't use it when there are better ones available, the best being AdBlock Plus by Palant: https://addons.mozilla.org/en-US/fir.../adblock-plus/