"

Good points. I've reverted my changes. Thanks, Hoary, for dropping me a note. In my experience ""theater"" is more common than ""theatre"" but the latter spelling exists in the US. Given the title of Rich's book, he seems to prefer the latter, which seems good enough to prefer it in the article.   "