Internet is back after a few reboots. Phew.