the smart Firefox proxy management add-on