> I really do wish they'd just stuck with dots

Then it would get confused with domain names (e.g. babe.cafe).

Ah, right, because we threw in hex. That's fair, but then I return to: If we're doing that, we should have changed the port separator.