When refreshing the page robots button with solely pages on which the user has no rights, the icon leads us to think that the pages are included in the referencing, whereas it is not necessarily the case. See PageRobotsClientSideElement.java.