This is actually a weird Firefox thing -- depending on where you install the
extensions, they either show up in the add-on list or they don't. The Torbutton
extension is installed somewhere different from the other extensions, because
that was how I got it to work originally. So it's installed, and it works, it's
just some accidental ninja obfuscation happening. (Incidentally, it *does* show
for me on 10.5, so it took me a while to figure out what was happening.)
BTW, does the Torbutton toggle button show in the bottom right of the browser
for either of you?