The machine which hosts debian and scientific crashed last night. I can’t restore it until around noon due a morning commitment. Please use shellx and eskimo shell servers in the meantime.
Please hold off on Boink until that machine is back up.
We should have a replacement CPU from Intel, which will permanently fix this issue, in about a week.