I understand, and surely, when you would revert it, very soon people would ask for the opposite. However, i suppose there are still possiblities for this: Provide an option in preferences? But i also understand adding options has limits to, as it renders the app complex. (Do you collect some usage date on certain features? because for certain feature requests you would be able to track how many users do use a certain feature or option setting, the same would go for preferences, if very very few people use a certain option, you might consider discarding it in favor of another preference)
