On Fri, 28 Jul 2023, 12:18 LARONDE Thierry, <[log in to unmask]> wrote: > Hello Phelype, > > How can one rely on the size if the code can advertise the size that is > not the size of the file requested but of another one for which it has > added, on its own, an extension? > As Joseph said, because of a not-too-great design choice in the original TeX (I've had a good deal of trouble already because of the automatic adding of ".tex" in file names). When the file-related primitives were implemented in pdfTeX, they retained this questionable behaviour. On the one hand, it's a pain to deal with. On the other hand, I think it would be worse if \input behaved one way and other file-related primitives behaved differently. The lesser evil, in my opinion. Best, Phelype (sent from phone) >