ini-local.php now linked (like ini.php), but initialized from a copy and then git-ignored so its changes remain truly local.