That's just the usual way of attempting to connect to an HTTP server running on a different port. Sometimes you see websites hosted on port 8080 or something like that.
Oh. Duh.
I suppose I should have said it was a new-to-me use case for that feature.