I've not been around here for a while, so I know nothing about all this. I've had a quick look at the HOL logs and it seems the only people who have been active recently is Dr Bong and Clenched, there's a few small changes from a couple of others but that's about it.
If there are people who want to join HOL then I've always said the more the merrier, but as far as I know the only one who can give you access is RCK.
|