[Sorry -- pressed "send" (C-c C-c) when I was just trying to pop point and mark (C-x C-x).] Thank you and congrats to Peter, and thanks to Sebastian, Martin, and James. On very quick check of a few pages, it looks just fine. (HTML online is all I was looking at.)