Convenient notebook URL for copy-pasting is not convenient when --ip flag specified

When passing the --ip flag (in my case, providing --ip 0.0.0.0 to make the server available on an intranet) to Jupyter notebook, the resulting URL string that is printed to the terminal for copy-pasting into the browser has the following form:

https://(PUBLIC_IP or 127.0.0.1):5000/?token=TOKEN

The host part of the URL has the disjunction `(PUBLIC_IP or 127.0.0.1)` which makes the URL invalid and not suitable for copy-pasting, rendering this feature somewhat broken in this context.

What about changing the behaviour to produce the following two alternative URLs when the --ip flag is specified:

https://PUBLIC_IP:5000/?token=TOKEN
https://127.0.0.1:5000/?token=TOKEN