My turn to be pedantic, I guess, but 80 and 443 are only two of many available ports. The internet is much bigger than just the web, even if lots of people never bother to look beyond their browser.