Since False is the default, would it be good to just not specify the option here, so that we can detect if that default changes (which wouldn't be good, since other places might call it depending on the old default, so worth throwing an error about?)