Oh, and if I'm thinking about this correctly, then there's really no purpose of having `auto_initialize` as an "Overridden option" on the button docs. Yes, technically it is overridden, but it seems in practice it's not (it's false on all non-root forms, which strangely, I think is done on `Form::add`, not inside a form type).