Any changes to config_defaults_inc.php typically should has corresponding changes in the manual.