It looks like comments mysteriously disappeared this morning–will try to fix later today.