If I download a Debian .iso using HTTP, is that hypertext? How about updating my system using `apt`?