This episode is also available as a blog post: http://developerm.dev/2020/12/16/how-to-list-raspberry-pi-ip/