Rename the "no proxy" option