A quick note to those of you who wrote to ask me what happened to the custom search function we had at the old website: it's back, and can be accessed from the right sidebar or from the menu at the bottom of the page. I've been testing it today and it seems to be working fine, but do let me know if you have any problems with it.
Next on my to-do list: find the missing comments.