use a different default skin, to have the wiki looking less like a default uncustomized mediawiki install