Hi, I am setting a mediawiki. I wonder what skin does our archlinux wiki use. Is it a custom one (if yes, is there any place I can find it) or a listed mediawiki skin. As a side question, are archlinux mediawiki settings open and available somewhere? TY for hint. -- google.com/+arnaudgabourygabx