#838: Remove new config option