[poszukuję rozszerzenia] Jaki prosty menedżer proxy?

[PCXT]

Witam. Pamiętam jeszcze z czasów FF 2.x menedżer proxy, nie wiem jak się nazywał, ale rezydował sobie na pasku menu, i umożliwiał wybór z belki, włączanie i wyłączanie, oraz zarządzanie listą jako CSV.
Aktualnie mam FF 3.6, menedżer w odmętach aktualizacji się "zbył" jakiś rok temu czy nawet dalej, poszukuję więc czegoś takiego. Jak wiadomo sporo proxy pada jak muchy i często pojawiają się w sieci mniej lub bardziej aktualne listy serwerów właśnie w formacie CSV. Codzienne przekopiowywanie IPków z pliku odpada - rozszerzenie powinno mieć import z CSV. Przydałby się też łatwy wybór - nie że "idę do menu, potem cztery okienka i 5 zakładek, i wskazuję właściwy serwer", bo zaraz okazuje się, że ten serwer zdechł jakieś kilka minut temu i trzeba to powtarzać.
Bo w takim wypadku to łatwiej iść do admina, postawić mu piwo i poprosić o zresetowanie modemu
Czy jest takie rozszerzenie?

[Mirek]

Wystarczy poszukać na addons.mozilla.org słowa proxy w rozszerzeniach.
Co najmniej 3-4 wg opisu ma możliwość importu/dodania serwerów z różnych list na stronach (choć niekoniecznie dokładnie w formacie CSV).
Kiedyś był jeszcze SwitchProxy Tool - ale nierozwijany umarł.