Fixed loading speed

I dunno who is reading 10 year old content, but this still gets a few hits... and it was loading extremely slowly due to some linked javascript. I removed it, makes it load much quicker (and given the js failed to load, the syntax highlighting was already useless).