Changes

Sometimes, for an unknown reason, a group policy is not applied when it is set up and the workstations are rebooted for the first time. This may look like WPKG not working, but a second reboot proves that it's an issue with the Active Directory.