Т.е. это потому, что мы посылаем HTTP проксе HTTP запрос, а далее уж хттп прокся разберётся куда направлять наш запрос (это уже как бы не нашё дело) и так как хттп прокся представлена айпишником, а не доменным именем, то и к днс НАШ комп обращаться не будет. Правильно я понял?

Спасибо за ссылки! Изучаю.