Is it possible to limit who can edit the help documents ?

[yvangodard]

I use your plugin and it works well. On one website, I have set some specific roles. I have a group set to (on pages) : edit_pages / edit_published_pages / edit_other_pages It's strange but members of this group can edit help documents, even though they have no rights to publish_pages. Could you explain that to me? And, do you think there is a way to prevent members of this group to edit the help documents ? Thanks a lot!

[Aetles]

As far as I can tell this plugin uses publish_posts and create_posts capability to determine who can edit/add help documents, even though the FAQ says publish_pages.