Bulk edit for proxies across selected profiles (revisited)

Changing a provider means editing profiles one at a time. Selecting several and applying one proxy would save a lot of clicking.