How to hide, in "Edit Preferences", the categories user's have no access to
When users go to edit their profile they can click on "Edit Preferences" on the left to set their notification preferences.
Then under "Category Notifications" the list of categories displayed includes categories they have no access rights (these categories have specific role-based access).
While I consider this somewhat of a bug (any advise how to report bugs?) the immediate question is how to remove from the list the categories the user does not have access rights to.