User blog comment:DaNASCAT/Technical Update: March 7, 2016/@comment-25739558-20160308125907/@comment-11733175-20160309103501

FYI, VolDev get no extra tools on Wikia itself. The only thing the group and user right is used for is the user masthead tag.

At a guess the devbox right is something for tech staff to work with, although based on my limited knowledge of devboxes I've picked up here and there, I'm surprised it's not limited to developer environments and has leaked through to production.