Yes that was it, thanks. I think it's a bit silly that this is even an option you can turn off, though.

We have three apps in Braincloud; one for dev, staging, and production. Our dev and staging apps have leaderboard settings under App > Design > Leaderboards as well as App > Global > Leaderboards, however our production app which was created later is missing these sections from the sidebar entirely. The leaderboards are still working in production as they are created dynamically but I just can't access them in the portal to make changes to or reset them? I can't find any setting that would enable or disable leaderboards like this. Am I missing something?