A Pentadactyl plugin that toggles manual proxy on and off