just a quick note that the wdqs servers will be rebooted for a Linux kernel security update shortly. The reboots should have no user-visible impact.