Some house-keeping: The domain should now be available over https. This is not true for log0.org which now just redirects back here (instead of serving the same content over there).