We should not have this latex-source-compiler thing in this general file.

How is it related to hiding settings anyway?