Does anyone have a copy of the Dice extension? The download link is dead at
https://www.mediawiki.org/wiki/Extension:Dice
It looks like they were going to mirror it, but I'm not sure that ever
happened:
https://github.com/wikimedia/mediawiki-extensions-Dice
Thanks.