BOC: Is BOCbase gone?

[Jerry]

John A Swartz wrote:
> Anybody been to the BOCbase website lately?  I tried today, but couldn't
> access it - I was wondering if if had gone away.  I'm in the process of
> updating the FAQ, so if it has moved or dissappeared, I'd like to find
> out.

The server was down during Summer (high school policy - fuckers!), but it should be up
again. I checked this morning.
I have neglected BOCbase for some time and will do some updating soon.

Note that the IP address has changed!
Old: http://145.89.78.151
New: http://145.89.82.151

(Shit, I don't even remember the full pathname... should be like
http://145.89.82.151/~martijn/boc/ or something...)

Jerry