Internet seems to have sorted itself out. It appears it was a problem on my end, because after restarting router and modem, everything was back on working order. Of course, I didn't get any work done so far :-/ But well, I intend to get started now and with any luck the morning will turn out to be productive after all. Can't say that I'm not exhausted again though. Will do upload and other stuff later.