: A built-in tool for adding, editing, deleting, and sorting proxies according to your preferences.