Even a small application-specific synonym dictionary would be helpful.
Or perhaps you already have synonym index entries in manuals, and can add more such entries to the manuals as you find key ones are missing.
_________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
