Not getting notifications

[jducoeur]

I just noticed -- ever since the emergency maintenance started a day or two ago, I don't seem to be receiving email notifications of comments. Y'all might want to pay attention to that yourselves. And please email me directly if you have anything important to comment on. Thanks...