Issue #3395748 by KarimB, joachim: getSetting()'s documentation should specify what happens when a setting doesn't exist