See the attached update.

On 10/7/19 9:24 AM, Eli Zaretskii wrote:
>> From: Hong Xu <hong@topbug.net>
>> Date: Sun, 6 Oct 2019 21:48:52 -0700
>> Cc: 37518@debbugs.gnu.org
> 
> The second instance of "TAGS" should also have the @file markup.

Yes.

> 
>> +(defun tags--find-default-tags-dir-recursively (current-dir)
>> +  "Find the directory that hosts the default TAGS file.
> 
> "hosts" might be somewhat confusing.  How about
> 
>    Find the directory with the default TAGS file.
> 

I changed it to

      Find the directory in which the default TAGS file sits.

Hopefully this is more articulate than "with".