I need to prevent access to the page tree for a particular role (intern). The goal is the jail them to a set of custom admin pages. I have a clumsy solution that I've been using for a while that involves checking for the intern role as part of the rendering the navigation in my admin theme. It works, but now with admin themes being modules, I need something that isn't tied to a theme. ProcessPageList needs page-edit permission. I can't take that away because they need to be able to edit some pages. Any suggestions would be appreciated.