[PATCH] prose cleanup of SELinux discussion