Ok, I just fixed it in CVS. Robert should wave the magic wand to get the changes over to the web site soon. Sorry, Piers -- I just updated that page recently, but I didn't read it first or I would have noticed.
So it does update itself -- you just have to make a wish in some obscure forum, and voila!