eximconf: add an explanatory comment for default options