Just FYI: something is not working correctly, as I can't access any of the websites on hcoop, can't SSH. I had a previous SSH session open in one of my terminals and KerberOS was not working either (I couldn't kinit). -- Sincerely yours, -- Daniil Frumin