Characters added by David Marchand via the GCD Error Tracker.
Letters from Jeff Demos, Paul Zuckerman, and Mark Dunker.