On 10/26/07, Richard Gaskin <ambassador at fourthworld.com> wrote: > > My only question is whether "doc" is the best token for us. It seems a > bit general, perhaps hard to discern it's for Transcript dictionary > lookups. > > Any suggestions for alternatives? manual, or the abbreviation man