The Extension Manager automatically changes the "conf.php" files of modules which are configured in "ext_emconf.php" when you install extensions. Therefore no one complains. It is not beautiful, but I couldn't find other ways of doing this. - kasper