Встречается этот термин. И в настройках браузера есть такие пункты, что-то вроде — «Использовать прокси-сервер» или «Изменить настройки прокси сервера».

Что такое прокси сервер?

Для чего он служит, какие функции выполняет?

Для чего он в настройках? Нужно ли это обычному, среднестатистическому пользователю?