On Wed, Nov 30 2016, Eli Zaretskii wrote:

>> Yes, the TAGS file becomes at most twice as big.  That's a minor
>> disadvantage that I'm happy to trade for even tiny improvements in
>> precision.
>
> It clearly isn't a catastrophe, if doing that is necessary.  I just
> want to be sure that all Forth tags need to be explicit.  Is there
> perhaps some reasonably easy way to make only those tags explicit
> which actually use the special characters that require it?

OK.  Here's an updated patch.  It calls make_tag instead of pfnote.
make_tag tries to use implicit names if possible.  If it's not possible,
it creates an explicit name.