Site note: random header image

I’ve temporarily disabled the random header image since I see this site is using a lot of CPU time. Since it executes some extra code for generating the image on each page load, I’ll see how much it reduces the CPU time.