but there's no corresponding option that allows the user to set it?

Maybe you're missing a commit?  I only see two here but you mentioned there were three incoming?