The Linux Counter is down

There's been a hardware error on the Linux Counter machine. It "should be easy to fix", but it's taken much longer than it should.

Current estimate is that we'll be back online before December 8.

My apologies!

Harald Alvestrand