> (user settings) + (PATH env var) + (defaults from -setup.ini) + > (compiled-in defaults) why not also + binpath-where-texworks resides Indeed. It seems to me that should come after (user settings) and before (PATH).