I finally got around to publishing the chrome extension I wrote for toggling proxy settings.