ExcludeRandom Allows pages to be excluded from Special:Random. See https://www.mediawiki.org/wiki/Extension:ExcludeRandom.