Or if you happened to curl ipinfo

Or if you had a script that did that and put the public v4 address in your taskbar.