Yes, noticed the same thing. It's still one number in the HTML source though, on...

		rep_lodsb on April 28, 2023 \| parent \| context \| favorite \| on: There’s more than one way to write an IP address (... Yes, noticed the same thing. It's still one number in the HTML source though, only in the status bar it shows the "normal" IP address.