>It feels like we need a word to differentiate IP from HTTP.
We really don't, because technical accuracy isn't relevant to the vast majority of people, who aren't discussing protocols to begin with.
And anyway,I think people stopped referring to "the internet" in general once it became ubiquitous enough that it became more useful to refer to specific sites instead, or genres of services like social media. I think the only time people use "the internet" anymore is in reference to their ISP, eg: "the internet" going down.
We really don't, because technical accuracy isn't relevant to the vast majority of people, who aren't discussing protocols to begin with.
And anyway,I think people stopped referring to "the internet" in general once it became ubiquitous enough that it became more useful to refer to specific sites instead, or genres of services like social media. I think the only time people use "the internet" anymore is in reference to their ISP, eg: "the internet" going down.