<div dir="ltr">Some people name their tex file with .tex, some with .ltx, some with .xltx  and so on. Is there really a way to detect what extension (.tex, .ltx, ...) a user has used for his tex file name?<br></div>