I've just posted a minor update to our Page Manager Pro add on product. We've added a link to page permissions in the command menu along with an indicator of whether a page is public or protected by roles.

This is a free update for existing customers who have already purchased Page Manager Pro, the latest version can be downloaded from your purchase history under the "My Account" link at the top of the page after signing in as the user who purchased.