>>>>> Arash Esbati <ar...@gnu.org> writes:
> Is this what we want? I suggest to remove the first entry and
> fontify \include like \input.That's not a good idea. \include and \input are different and do different things. https://tex.stackexchange.com/questions/246/when-should-i-use-input-vs-include https://latex.org/forum/viewtopic.php?t=11619 and others ... Best wishes,
