Commit 51e801f2f297e45a24004ee6256dd1a6c7389074

Paul Eggert 2012-01-05T23:53:49

In commentary, do not use ` to quote.