I'm not sure either. But we should be consistent. If we remove this note, we should also remove the "Overriden option" label for the ``auto_initialize`` option as you suggested. Otherwise it may confuse people.