On Tue, Jan 15, 2013 at 7:32 PM, Matt Giuca <matt.giuca at gmail.com> wrote: > I would change the main heading from "MERCURY" to "THE MERCURY PROGRAMMING > LANGUAGE", since there are undoubtedly a lot of things called Mercury. I agree. Julien.