[sandworm101]

It's now just "Tor" and when accessing hidden services it isnt really a proxy. The Onion Router acronym went away back with the vidalia proxy. But i do miss the oldschool torbutton. It was fun.

[creekorful]

the proxy which I refer is the local SOCKS proxy used by tor browser / your applications to be routed through the network.