by Tim Hunt.
Those settings are not stored in files. They are stored in the database, in the mdl_config table.
If you look on the settings page, under the name of each setting, there is small text like "additionalhtmlhead" under the full name of the setting like "Within HEAD". That shows you the name of the value in the mdl_config table.