>> Okay, I did not know (and did not check) this.  Note that the tag is 
>> present for both fido-mode and icomplete-mode.
>
> Indeed, it's harmless, a question of style,
>

Okay.  Here is the final (?) version of the patch; I forgot to update the 
docs in the previous one.