Rename permissions.public() -> permissions.shared() and
permissions.isPublic() -> permissions.isShared().

This is more consistent with language used elsewhere in the code, now
that we have groups.