I note that the last SELinux policy update for FC3 spent some minutes mucking about with settings in /opt. My /opt partition is shared between several OSes (FC2, FC3, FC4 and WBEL3). Will the FC3 policy update have confused FC4? Ron