While you're at it, you should probably ban the beta version since it has a cookie dungeon that can speed things up a lot too.

I agree that the dev tools menu should be banned. I don't think there's a good reason to ban the dungeon beta version, if someone can make a good route using the dungeons, and it's faster for some category, it should be used.