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?