On Fri, May 20, 2022, at 2:06 PM, Therese Godefroy via RT wrote: > I'm going to tell him there is no guarantee that this can be changed. > For one thing, it would be difficult to find a letter that doesn't > take an unwanted meaning when associated with "word".
Perhaps something like "num" or "fd" could be used -- much like "varname" earlier in the same section. These would also have the benefit of being marginally more self-explanatory. -- vq
