Hello! Recently I manually installed the latest Automad build. I dropped the new files (automad, lib and index.php) and replaced the old ones. Site works good (at least i hadn’t noticed any problems. But the system didn’t do anything to config.json file. I mean, it is still .json, not .php. Should i do some specific actions about it?