leaflets: Remove legacy leaflet code that disallows rewriting leaflet files
settings: Move logging to local_settings and suggest developer configuration