Blogger was down

for the last few days. Now it seems to be working again. But some comments got deleted. Sorry about that. Blame Blogger, Google or the rest. Just like the rest.