そちらではなく、以前に一般ページのいちばん下にあった[ネットワーク設定](今のFirefoxの表記。
Torブラウザだと違ったかも)のことっス。ブラウザが使うプロキシを設定するやつ。
紛らわしくて申し訳ない。