Let's suppose I want to install Tor Core software on a different server than the server hosting my hidden site's files. In this case, I should substitute the following string with my server's external IP address rather than the default "127.0.0.1"?
HiddenServiceDir /Library/Tor/var/lib/tor/hidden_service/
HiddenServicePort 80 127.0.0.1:8080