Several years ago, I pulled my old website, as it had become a compost-heap of reformatted lecture notes that I no longer had time to maintain, and which Wikipedia had rendered redundant in any case. The pleasures of writing HTML by hand had begun to pall, and the hand-rolled CGI guestbook made even a coding …