Yep, I'm cool with removing `auto_initialize` from "Overridden Options" as I mentioned below. Besides, I'm not sure if there is a real use case at all for even knowing this option exists, so we should give it as little attention as possible.