@bramus sure! I’m not really saying that it always is; as I say, “auto” is probably technically correct here. But I think the vague “meaning” of auto in people’s heads, and certainly in mine, is a sort of “go back to what it would be if you hadn’t said anything”, which doesn’t quite feel the same as “explicitly set a value but it’s the value we would use if you don’t express a preference”.