I’ve been talking about rewriting the background code for this site for quite a while, although with a noticeable lack of activity. You may notice that the page generation time is now given at the bottom of each page. I hacked that in a couple of days ago to get some idea of the speed of the code. It seems to be around 40-70ms in most cases, but occasionally takes longer (probably due to load on the server from other websites). That’s not awfully fast, and it’s not surprising, because there are some fairly inefficient routines in the code. In particular, the automatic navigation generator isn’t pretty.