The following servers are going to be destroyed in the next few days:
cloudcontrol1003.wikimedia.org
cloudcontrol1004.wikimedia.org
labweb1001.wikimedia.org
labweb1002.wikimedia.org
If you have any persistent, useful content in your $HOME on those
servers, please rescue it now! Soon it will be too late.
-Andrew