[applicative]

Is it just me, or has github gotten a lot slower in the last couple of months? I haven't noticed it with `git clone git://github.com...`, but the website seems to be grinding to a halt.