new post: Extract your external IP using command line tools