Nothing much happened today, except:

Note: the Internet is up and looks stable as of noon of May 11th. Yay!