@RrrichardZach I had to look at the source of kpathsea recently, and I just shook my head and closed the editor