It was one of the add-ons that was automatically disabled when the site got updated. I hadn't re-enabled it yet because, a) maybe it was one of the add-ons that was making the site struggle, and b) I didn't know if it got much use.
However, if it does get much use, we can try to re-enable it and hope it doesn't slow the Arena down.