Title pretty much says it all.
I have added the Kibana Privilege for "Dev Tools" to the space, but users with this role still don't see Dev Tools in the menu, or can't type it in the search bar at the top.
I understand users will still need access to the underlying indices or whatever the APIs they call require, but they can't even get to / see Dev Tools yet.
Are there other privileges needed? I can't find anything further in the docs or discussions.
Thank you!

