Merge "SELinux index:  Improve documentation."