I switched to a new web hosting setup, so if anything's wrong with dbaron.org/ please let me know. (Now with @letsencrypt !)