Merge "Update SELinux documentation."