distinguish between options used for app and manager in config file
Created by: eratosthene
Some settings are only used in one or the other, and mean different things.
Created by: eratosthene
Some settings are only used in one or the other, and mean different things.