On the blog version I deleted that mysterious parenthetical remark and made other last-minute optimizations.