Options: auto_redundant now defaults to nil