https://www.mediawiki.org/wiki/Manual:Config_script says to delete the config directory. The instructions displayed within the config script do not, and it the page is protected after install by the random key. So, what is the correct instruction? Delete it? don't delete it? delete it optionally for purpose X?