Add a sentence of documentation about the differences between the
*_privileges and the role_*_grants views.